package typerep

You can search for identifiers within the package.

in-package search v0.2.0

Typerep is a library for runtime types

Install

sha256=ff8268f46f447bbc95dac29a50f465625646b213e3a9638f4d773b9e17b650e8

Sourcemodule Make_typename : sig ... end

Sourcemodule Named_intf : sig ... end

Sourcemodule Std : sig ... end

Sourcemodule Std_internal : sig ... end

type-safe runtime type introspection

Sourcemodule Type_abstract : sig ... end

Abstract types helpers.

Sourcemodule Type_equal : sig ... end

Sourcemodule Type_generic : sig ... end

A computation is the type of an operation that can be applied to various different kind of types. It is expressed as a type with one parameter:

Sourcemodule Type_generic_intf : sig ... end

Sourcemodule Typename : sig ... end

runtime representation of the name of type 'a. Useful for representing types with a nominal notion of equality

Sourcemodule Typerep_obj : sig ... end

Sourcemodule Typerepable : sig ... end

Sourcemodule Variant_and_record_intf : sig ... end

Place holder for common Variants and Fields interface