sig
  val eval_axis_node_test :
    Typing_context.static_context ->
    Xquery_common_ast.axis ->
    Xquery_algebra_ast.anode_test -> Dm.node -> Dm.node Cursor.cursor
end