(lang dune 3.20)
(name boolEvalProofs)
(using menhir 3.0)