100% (0 / 0) src/ast.ml
90% (20 / 22) src/lexer.ml
59% (147 / 248) src/parser.ml
100% (27 / 27) src/pp.ml
100% (120 / 120) src/solver.ml