Typeinf
Support code for writing type-inference.
Imp
The IMP language.
Sketching
Smtlib
An OCaml API for working with SMT-LIB-based solvers, such as Z3.