(**************************************************************************)
(*  The CDuce compiler                                                    *)
(*  Alain Frisch <Alain.Frisch@inria.fr> and the CDuce team               *)
(*  Copyright CNRS,INRIA, 2003,2004 (see LICENSE for details)             *)
(**************************************************************************)

val has: unit -> bool

val register: ref (bool -> string -> Types.Node.t list -> (int * Types.t))
val resolve: string -> Types.Node.t list -> (int * Types.t)
val typ: string -> Types.Node.t list -> Types.t


