/Test/dafny0/Trait/

• ../
• TraitBasix.dfy
• TraitBasix.dfy.expect
• TraitCompile.dfy
• TraitCompile.dfy.expect
• TraitExample.dfy
• TraitExample.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
• Traits-Fields.dfy
• Traits-Fields.dfy.expect
• TraitsDecreases.dfy
• TraitsDecreases.dfy.expect
• TraitsMultipleInheritance.dfy
• TraitsMultipleInheritance.dfy.expect