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

(* $Id: bltin.mli,v 1.11 2003/01/16 18:49:00 mff Exp $ *)

type bltin = Namespace.nsenv -> Schema.schema -> Datamodel._Value list -> Datamodel._Value

val add_bltin_fctn       : ((Xquery_ast.rfname * int) * bltin) -> unit
val lookup_bltin_fctn    : (Xquery_ast.rfname * int) -> bltin
val overloaded_functions : ((Xquery_ast.rfname * int) * ((Xquery_ast.rfname * int) list)) list


