Previous
Up
Module type
Monad.TYPEWRAPPER
module type
TYPEWRAPPER =
sig
..
end
module-type to represent generic states used by state-monad
type
t
val
init :
t