/Test/dafny0/Trait/
../
TraitBasix.dfy
TraitBasix.dfy.expect
TraitExtend.dfy
TraitExtend.dfy.expect
TraitMultiModule.dfy
TraitMultiModule.dfy.expect
TraitOverride0.dfy
TraitOverride0.dfy.expect
TraitOverride1.dfy
TraitOverride1.dfy.expect
TraitPolymorphism.dfy
TraitPolymorphism.dfy.expect
TraitSpecsOverride0.dfy
TraitSpecsOverride0.dfy.expect
TraitUsingParentMembers.dfy
TraitUsingParentMembers.dfy.expect