Pa_type_rep: Preprocessing Module for automatic type representation

type-safe runtime type introspection

Abstract types helpers.

runtime witnes of type equality this is a reduced version of Core.Std.Type_equal.

A computation is the type of an operation that can be applied to various different kind of types.

runtime representation of the name of type 'a.

some utils related to the runtime of ocaml, used both at compile time (camlp4) and runtime.

Place holder for common Variants and Fields interface