Module Norm_overloaded

module Norm_overloaded: sig .. end

val is_overloaded : Xquery_common_ast.cfname * int -> bool

val table_for_overloaded_function : Norm_context.norm_context ->
       Xquery_common_ast.cfname * int ->
       (Xquery_common_ast.cfname * Xquery_core_ast.cfunction_signature *
        Xquery_core_ast.acfunction_body_kind * Xquery_common_ast.updating_modifier)
       list

val table_for_op_gt : Norm_context.norm_context ->
       (Xquery_common_ast.cfname * Xquery_core_ast.cfunction_signature *
        Xquery_core_ast.acfunction_body_kind * Xquery_common_ast.updating_modifier)
       list

val table_for_op_equal : Norm_context.norm_context ->
       (Xquery_common_ast.cfname * Xquery_core_ast.cfunction_signature *
        Xquery_core_ast.acfunction_body_kind * Xquery_common_ast.updating_modifier)
       list

val lookup_default_atomic_type : Xquery_common_ast.cfname -> Datatypes.atomic_type