package typerep

You can search for identifiers within the package.

in-package search v0.2.0

Typerep is a library for runtime types

Install

dune-project

Dependency

sha256=e9886091f4de33a9cb43a485e7c454f6687801649b5dd07db14f9b27b52cb766

md5=a1d10bec724e500fd2f6b7798fc0409c

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