package typerep

  1. Overview
  2. Docs
package typerep
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Typerep_libSource

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