1 (***********************************************************************)
5 (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
7 (* Copyright 1996 Institut National de Recherche en Informatique et *)
8 (* en Automatique. All rights reserved. This file is distributed *)
9 (* under the terms of the Q Public License version 1.0. *)
11 (***********************************************************************)
15 (* Inclusion checks for the core language *)
22 val value_descriptions
:
23 Env.t
-> value_description
-> value_description
-> module_coercion
24 val type_declarations
:
25 Env.t
-> Ident.t
-> type_declaration
-> type_declaration
-> bool
26 val exception_declarations
:
27 Env.t
-> exception_declaration
-> exception_declaration
-> bool
30 Env.t -> class_type -> class_type -> bool