will generate the OCaml bindings for a type (called root type).
It takes the current environment Env,
as well as an optional name (if you wish to rename the type in OCaml).
describes the type in OCaml, given the current environment Env
and the list of generic type parameters of the root type
(the type that makes use of this type)