(***********************************************************************)
(*                                                                     *)
(*                                 GALAX                               *)
(*                            XML Query Engine                         *)
(*                                                                     *)
(*  Copyright 2000, Lucent Technologies.                               *)
(*  Distributed only by permission.                                    *)
(*                                                                     *)
(***********************************************************************)

(* $Id: overloaded.mli,v 1.1 2003/04/21 16:08:47 simeon Exp $ *)

val is_overloaded : (Xquery_ast.rfname * int) -> bool

val all_overloaded_bindings_for_function : (Xquery_ast.rfname * int) -> (Xquery_ast.rfname * int) list

val resolve_overloaded_function : Norm_context.norm_context -> (Xquery_ast.rfname * int) -> Finfo.finfo -> (Xquery_ast.rfname * Xquery_ast.cfunction_signature) list 

