90% src/compile.ml
94% src/duplication_detection.ml
82% src/error.ml
91% src/eval.ml
0% src/lambda_lifting.ml
87% src/pp.ml
100% src/scope_analysis.ml
92% src/scope_reduction.ml
84% src/simplification_analysis.ml
100% src/type_analysis.ml
94% src/type_check.ml
95% src/type_inference.ml
50% src/types.ml
100% src/usage_analysis.ml