module Default_data_marshaler: functor (D : Datatype.S) -> Data with type t = D.t
functor (
D
:
Datatype.S
) ->
Data
with type t = D.t
include Datatype.S
type marshaled
val marshaler : (t -> marshaled) * (marshaled -> t)
(t -> marshaled) * (marshaled -> t)