module Write: sig .. end
sig
end
type s
include Deriving_monad.Monad_state_type
module Utils: functor (T : Deriving_Typeable.Typeable) -> functor (E : Eq •À $Repr°À@H z zÀ) -> sig .. end
functor (
T
:
Deriving_Typeable.Typeable
) ->
E
Eq
•À $Repr°À@H z zÀ