package type_id

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

Module Type_idSource

Sourcetype 'a t

Serves as a unique identifier for some type 'a.

Sourcemodule Error : sig ... end

Types of errors produced by this module.

Sourceval make : label:string -> 'a t

make ~label creates an identifier with label for some type t

Sourceval label : 'a t -> string

label id gets the label of a given t, which was given to make during construction.

Sourceval eq : 'a t -> 'b t -> ('a, 'b) Type_eq.t option

eq t_a t_b produces an equality proof if t_a and t_b are the same ID

Sourceval eq_res : 'a t -> 'b t -> (('a, 'b) Type_eq.t, Error.t) result

Similar to !eq except returns a result