Module Dm_step

module Dm_step: sig .. end

val node_kind_of_principal_node_kind : Xquery_common_ast.principal -> Dm_types._NodeKind

val item_matches_kind_test : 'a Dm_types.access_ops ->
       Xquery_type_core_ast.cxschema -> Xquery_algebra_ast.akind_test -> 'a -> bool

val eval_node_test_gen : 'a Dm_types.access_ops ->
       Xquery_type_core_ast.cxschema option ->
       Xquery_common_ast.axis -> Xquery_algebra_ast.anode_test -> 'a -> bool