Inital import

[l4.git] / l4 / pkg / ocaml / contrib / typing / oprint.mli

diff --git a/l4/pkg/ocaml/contrib/typing/oprint.mli b/l4/pkg/ocaml/contrib/typing/oprint.mli
new file mode 100644 (file)
index 0000000..7687b99
--- /dev/null
+++ b/l4/pkg/ocaml/contrib/typing/oprint.mli
@@ -0,0 +1,24 @@
+(***********************************************************************)
+(*                                                                     *)
+(*                           Objective Caml                            *)
+(*                                                                     *)
+(*                  Projet Cristal, INRIA Rocquencourt                 *)
+(*                                                                     *)
+(*  Copyright 2002 Institut National de Recherche en Informatique et   *)
+(*  en Automatique.  All rights reserved.  This file is distributed    *)
+(*  under the terms of the Q Public License version 1.0.               *)
+(*                                                                     *)
+(***********************************************************************)
+
+(* $Id: oprint.mli 4694 2002-04-18 07:27:47Z garrigue $ *)
+
+open Format
+open Outcometree
+
+val out_value : (formatter -> out_value -> unit) ref
+val out_type : (formatter -> out_type -> unit) ref
+val out_class_type : (formatter -> out_class_type -> unit) ref
+val out_module_type : (formatter -> out_module_type -> unit) ref
+val out_sig_item : (formatter -> out_sig_item -> unit) ref
+val out_signature : (formatter -> out_sig_item list -> unit) ref
+val out_phrase : (formatter -> out_phrase -> unit) ref