diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-11-30 16:07:38 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-11-30 16:07:38 +0000 |
| commit | 296fc0547052da47bf0e983cab1ce173fa1e8882 (patch) | |
| tree | 27f621f1e06d4f6493c88993969c4638861390d7 /typing/printtyp.mli | |
| parent | ca0b21c5adbe660a52e5a9dfe1dda16985fe5f7c (diff) | |
| download | ocaml-296fc0547052da47bf0e983cab1ce173fa1e8882.tar.gz | |
Merge olabl branch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/printtyp.mli')
| -rw-r--r-- | typing/printtyp.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/printtyp.mli b/typing/printtyp.mli index f53860fe2c..80daa2d9ea 100644 --- a/typing/printtyp.mli +++ b/typing/printtyp.mli @@ -34,6 +34,7 @@ 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 prepare_expansion: type_expr * type_expr -> type_expr * type_expr val trace: bool -> (unit -> unit) -> (type_expr * type_expr) list -> unit val unification_error: bool -> (type_expr * type_expr) list -> |