Library for creating runtime representation of OCaml types
