/testsuite/bsc.typechecker/bound-type-vars/

• ../
• BoundVarSubstitution.bsv
• ImpliedByFundeps.bsv
• KindMismatchExplExpl.bs
• KindMismatchExplHas.bs
• Makefile
• bound-type-vars.exp