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).