/test/
../
ocaml
run_tests.sh
typecheck