89% src/compile.ml
87% src/duplication_detection.ml
80% src/error.ml
76% src/eval.ml
0% src/lambda_lifting.ml
89% src/pp.ml
100% src/scope_analysis.ml
92% src/scope_reduction.ml
79% src/simplification_analysis.ml
95% src/type_check.ml
96% src/type_inference.ml
50% src/types.ml
100% src/usage_analysis.ml