Module type Shredded_dm_step.Shredded_XPath_Step_Functor_Sig

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

type handle = Store.handle 

type shred_kind_test 

val shred_kind_test_of_akind_test : handle ->
       Xquery_algebra_ast.akind_test ->
       shred_kind_test

type shred_node_test 

val shred_node_test_of_anode_test : handle ->
       Xquery_algebra_ast.anode_test ->
       shred_node_test

val item_matches_kind_test : handle ->
       Xquery_type_core_ast.cxschema ->
       shred_kind_test ->
       Store.stored_nodeid -> bool

val eval_node_test_gen : handle ->
       Xquery_type_core_ast.cxschema option ->
       Xquery_common_ast.axis ->
       shred_node_test ->
       Store.stored_nodeid -> bool