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

(* $Id: commontype.mli,v 1.2 2002/10/27 20:02:53 simeon Exp $ *)

val small_type : Xatenv.tenv -> 
                 Xquery_ast.model list * Occurrence.occurs * Occurrence.occurs ->
                 Xquery_ast.datatype_kind * Occurrence.occurs * Occurrence.occurs -> Xquery_ast.model

