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