/tests/fstar-split/traits/

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