sig
  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
end