Module Shredded_dm_step.Shredded_XPath_Step_Functor

module Shredded_XPath_Step_Functor: Shredded_XPath_Step_Functor_Sig 

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