/proptest-regressions/types/

• ../
• entity_map.txt
• mod.txt