/tests/fstar/traits/

• ../
• Primitives.fst
• Traits.fst