Module Shredded_dm_step

module Shredded_dm_step: sig .. end

module type Step_Store = sig .. end

module type Shredded_XPath_Step_Functor_Sig = functor (Basetypes : Shredded_store_sigs.Shredded_Basetypes) -> functor (Store : Step_Store  with type stored_nodeid = Basetypes.stored_nodeid  
                                with type record_kind = Basetypes.record_kind 
                                with type elem_eqnameid = Basetypes.eqnameid 
                                with type attr_eqnameid = Basetypes.eqnameid 
                                with type type_eqnameid = Basetypes.eqnameid) -> sig .. end

module Shredded_XPath_Step_Functor: Shredded_XPath_Step_Functor_Sig