/tests/

• ../
• Kbounds
• Kdep
• Keval
• Klocation
• Kmodifiable
• Krelation
• Ktext