Module Pickle.Write


module Write: sig .. end

type s 
include Monad.Monad_state_type
module Utils: 
functor (T : Typeable.Typeable) ->
functor (E : Eq.Eq with type a = T.a) -> sig .. end