diff options
| author | Alain Frisch <alain@frisch.fr> | 2014-05-07 12:46:00 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2014-05-07 12:46:00 +0000 |
| commit | f0ef09de26c9c5dd6ac73b79309b016b3c5deaa2 (patch) | |
| tree | 8185833a877e728ef94092163d69cd4c1cc24b7b /typing/typemod.mli | |
| parent | 36b25ec2f6847cd8f27862e2bde4f79a35dd975b (diff) | |
| download | ocaml-f0ef09de26c9c5dd6ac73b79309b016b3c5deaa2.tar.gz | |
Expose a Typemod.type_interface (currently an alias of Typemod.transl_signature) by symmetry with type_implementation.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14759 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/typemod.mli')
| -rw-r--r-- | typing/typemod.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/typing/typemod.mli b/typing/typemod.mli index f7c9e3798f..f7a186e868 100644 --- a/typing/typemod.mli +++ b/typing/typemod.mli @@ -26,6 +26,8 @@ val type_toplevel_phrase: val type_implementation: string -> string -> string -> Env.t -> Parsetree.structure -> Typedtree.structure * Typedtree.module_coercion +val type_interface: + Env.t -> Parsetree.signature -> Typedtree.signature val transl_signature: Env.t -> Parsetree.signature -> Typedtree.signature val check_nongen_schemes: |