Typegist represents the essence of OCaml types as values. This dynamic type representation can be used to devise generic type-indexed functions – value printers, parsers, differs, generators, editors, ffi etc.
Consult the quick start.
typegistTypegist Type introspection.