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