package type_id

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 'a t

Serves as a unique identifier for some type 'a.

module Error : sig ... end

Types of errors produced by this module.

val make : label:string -> 'a t

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

val label : 'a t -> string

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

val 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

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

Similar to !eq except returns a result