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

(* $Id: fn_static.mli,v 1.1 2003/05/01 20:02:07 simeon Exp $ *)

(* Module Fn_static
   Description:
     This module implements static typing for F&O functions.
*)

(* Typing for built-in functions types *)

type bltin_type_rule = Schema.schema -> Finfo.finfo -> Xquery_ast.model list -> Xquery_ast.model -> Xquery_ast.model

val lookup_bltin_fctn_type_rule    : (Xquery_ast.rfname * int) -> bltin_type_rule

