functor
(
I
:
MARSHALLABLE
)
->
sig
val
load : string
->
I
.t
val
dump : string
->
I
.t
->
unit
end