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 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).
val sexp_of_t : t -> Sexplib.Sexp.t