/tests/coq/traits/

• ../
• Makefile
• Primitives.v
• Traits.v
• _CoqProject