Up
module
Sexprep
:
sig
#
module
Of_sexp :
sig
#
exception
Type_mismatch
of
string * Typerep_extended.Std.Pre_core.Std.Sexp.t
include
Typerep_extended.Std.Type_generic.S
with
type
'a t = Typerep_extended.Std.Pre_core.Std.Sexp.t
->
'a
end
#
module
Sexp_of : Typerep_extended.Std.Type_generic.S
with
type
'a t = 'a
->
Typerep_extended.Std.Pre_core.Std.Sexp.t
#
val
t_of_sexp : 'a Typerep_extended.Std.Typerep.t
->
[
| `generic
of
Typerep_extended.Std.Pre_core.Std.Sexp.t
->
'a
]
#
val
sexp_of_t : 'a Typerep_extended.Std.Typerep.t
->
[
| `generic
of
'a
->
Typerep_extended.Std.Pre_core.Std.Sexp.t
]
#
module
Make_sexpable :
functor
(X : Typerep_extended.Std.Typerepable.S0)
->
Typerep_extended.Std.Pre_core.Std.Sexpable.S
with
type
t :=
X
.t
#
val
make_sexpable : 'a Typerep_extended.Std.Typerep.t
->
(
module
Typerep_extended.Std.Pre_core.Std.Sexpable.S
with
type
t = 'a)
#
module
Tagged :
sig
#
module
Of_sexp : Typerep_extended.Std.Tagged_generic.S
with
type
'a t = Typerep_extended.Std.Pre_core.Std.Sexp.t
->
'a
#
module
Sexp_of : Typerep_extended.Std.Tagged_generic.S
with
type
'a t = 'a
->
Typerep_extended.Std.Pre_core.Std.Sexp.t
#
val
t_of_sexp : Typerep_extended.Std.Type_struct.t
->
[
| `generic
of
Typerep_extended.Std.Pre_core.Std.Sexp.t
->
Typerep_extended.Std.Tagged.t
]
#
val
sexp_of_t : Typerep_extended.Std.Type_struct.t
->
[
| `generic
of
Typerep_extended.Std.Tagged.t
->
Typerep_extended.Std.Pre_core.Std.Sexp.t
]
#
module
Make_sexpable :
functor
(X :
sig
#
val
typestruct_of_t : Typerep_extended.Std.Type_struct.t
end
)
->
Typerep_extended.Std.Pre_core.Std.Sexpable.S
with
type
t := Typerep_extended.Std.Tagged.t
#
val
make_sexpable : Typerep_extended.Std.Type_struct.t
->
(
module
Typerep_extended.Std.Pre_core.Std.Sexpable.S
with
type
t = Typerep_extended.Std.Tagged.t)
end
end