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