Up
—
package
jenga
Module
Jenga_lib.Goal.Set.Provide_of_sexp
Parameters
Elt
:
sig
...
end
with
type
t
:=
Elt.t
Signature
type
t
include
sig
...
end
val
t_of_sexp :
Base.Sexp.t
‑>
t