Generic logic framework for OCaml.