1 (***********************************************************************)
5 (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *)
7 (* Copyright 1997 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 (***********************************************************************)
13 (* $Id: includeclass.mli 2908 2000-03-06 22:12:09Z weis $ *)
15 (* Inclusion checks for the class language *)
23 Env.t -> class_type -> class_type -> class_match_failure list
24 val class_type_declarations:
25 Env.t -> cltype_declaration -> cltype_declaration ->
26 class_match_failure list
27 val class_declarations:
28 Env.t -> class_declaration -> class_declaration ->
29 class_match_failure list
31 val report_error: formatter -> class_match_failure list -> unit