Module Univ

module Univ: Univ

module Constr: sig .. end

The Constr.t represents a single constructor in the extensible variant type.

type t

val constr_name : t -> string

val sexp_of_t : t -> Sexplib.Sexp.t

val create : 'a Constr.t -> 'a -> t

create var arg creates a new t from a constr and the argument to the constr.

val match_ : t -> 'a Constr.t -> 'a option

match_ t constr does a single constr match on a t for a given constructor. If the match succeeds, then the argument of the constructor is returned (as an option).