Typegist 62798ed

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.

Manuals

The following manuals are available:

Library typegist

This library has the type gist definition as an extension of the Stdlib.Type module and provides generic functions in an extended Stdlib.Fun module.