sig
  val make_atomic_gt : Physical_value.item -> Physical_value.item -> bool
  val forest_compare :
    Xquery_common_ast.sortkind ->
    Xquery_common_ast.emptysortkind ->
    Physical_value.item Cursor.cursor ->
    Physical_value.item Cursor.cursor ->
    (Physical_value.item -> Physical_value.item -> bool) -> int
  val match_overloaded_function :
    Typing_context.static_context ->
    Namespace_names.rqname ->
    (Xquery_common_ast.cfname * Xquery_algebra_ast.afunction_signature *
     Xquery_common_ast.updating_modifier)
    list ->
    Physical_value.item Cursor.cursor list ->
    Xquery_common_ast.cfname * Physical_value.item Cursor.cursor list
  val get_computed_node_name :
    Namespace_context.nsenv ->
    Physical_value.item Cursor.cursor -> Datatypes.xs_QName
end