sig
type
'
a t
val
create : string
->
(
'
a
->
Sexplib
.
Sexp
.t)
->
'
a
Univ
.
Constr
.t
end