module Generic_core: sig .. end
Namespace of core modules for the generic library.
module Ty: Generic_core_ty
Type witnesses.
module Ty_desc: Generic_core_ty_desc
Generic view for the type witnesses.
module Patterns: Generic_core_patterns
Functions on type patterns.
module Antiunify: Generic_core_antiunify
Anti-unification for type patterns.
module Desc: Generic_core_desc
A low level generic view of OCaml types.
module Desc_fun: Generic_core_desc_fun
Computing the low level description of types.
module Repr: Generic_core_repr
Representation of abstract datatypes.
module Equal: Generic_core_equal
Type equality predicate.
module Product: Generic_core_product
Witness of product types.
module Extensible: Generic_core_extensible
Extensible type-indexed functions.
module Consumer: Generic_core_consumer
Extensible type-indexed consumers.