Module Deriving_Pickle.Write


module Write: sig .. end

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