diff options
| author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1998-06-24 19:22:26 +0000 |
|---|---|---|
| committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1998-06-24 19:22:26 +0000 |
| commit | 87b17301f4a408109a0f00f7a297b02c79724bc1 (patch) | |
| tree | 3942d177b1a77e0c260e39507b6dcc7d1da47581 /typing/printtyp.mli | |
| parent | af85f7c394f650348ee4ca5b34eb8e99619bc11c (diff) | |
| download | ocaml-87b17301f4a408109a0f00f7a297b02c79724bc1.tar.gz | |
Nouvelle syntaxe des classes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1997 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/printtyp.mli')
| -rw-r--r-- | typing/printtyp.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/typing/printtyp.mli b/typing/printtyp.mli index c51a2be2fb..23c4e088bd 100644 --- a/typing/printtyp.mli +++ b/typing/printtyp.mli @@ -29,7 +29,9 @@ val modtype: module_type -> unit val signature: signature -> unit val signature_body: bool -> signature -> unit val modtype_declaration: Ident.t -> modtype_declaration -> unit -val class_type: Ident.t -> class_type -> unit +val class_type: class_type -> unit +val class_declaration: Ident.t -> class_declaration -> unit +val cltype_declaration: Ident.t -> cltype_declaration -> unit val type_expansion: type_expr -> type_expr -> unit val trace: bool -> (unit -> unit) -> (type_expr * type_expr) list -> unit val unification_error: |