type t
val create : t:string ‑> univ_constr:string ‑> t
val t : t ‑> string
val univ_constr : t ‑> string