sig
module Constr :
sig
type 'a t = 'a Univ.Constr.t
val create : string -> ('a -> Sexplib.Sexp.t) -> 'a t
val name : 'a t -> string
val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t
end
type t = Univ.t
val constr_name : t -> string
val create : 'a Constr.t -> 'a -> t
val match_ : t -> 'a Constr.t -> 'a option
val sexp_of_t : t -> Sexplib.Sexp.t
val ounit_tests : unit -> OUnit.test
end