Module Code_util

module Code_util: sig .. end

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