Module Std_kernel.Univ

module Univ: Univ

type t

val type_id_name : t -> string

val create : 'a Type_equal.Id.t -> 'a -> t

val does_match : t -> 'a Type_equal.Id.t -> bool

does_match t id returns true iff t was created by create id v.

val match_ : t -> 'a Type_equal.Id.t -> 'a option

match_ t id returns Some v if t was created by create id v, and returns None otherwise.

match_exn t id returns v if t was created by create id v, and raises otherwise.

val match_exn : t -> 'a Type_equal.Id.t -> 'a

val sexp_of_t : t -> Sexplib.Sexp.t

does_match t id returns true iff t was created by create id v.

match_ t id returns Some v if t was created by create id v, and returns None otherwise.

match_exn t id returns v if t was created by create id v, and raises otherwise.