sig
  module Constr :
    sig
      type 'a t
      val create : string -> ('a -> Sexplib.Sexp.t) -> 'a Univ.Constr.t
      val name : 'a Univ.Constr.t -> string
      val hash : 'a Univ.Constr.t -> int
      val sexp_of_t :
        ('a -> Sexplib.Sexp.t) -> 'a Univ.Constr.t -> Sexplib.Sexp.t
    end
  type t
  val constr_name : Univ.t -> string
  val create : 'a Univ.Constr.t -> 'a -> Univ.t
  val does_match : Univ.t -> 'a Univ.Constr.t -> bool
  val match_ : Univ.t -> 'a Univ.Constr.t -> 'a option
  val match_exn : Univ.t -> 'a Univ.Constr.t -> 'a
  val sexp_of_t : Univ.t -> Sexplib.Sexp.t
end