diff options
| author | Alain Frisch <alain@frisch.fr> | 2013-09-27 17:05:39 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2013-09-27 17:05:39 +0000 |
| commit | cc31694f7ca1043080fc290e5a82520513cf7f94 (patch) | |
| tree | 1123085352316cb8df8a26157ec4070882f899fe /typing/mtype.mli | |
| parent | c0778758c1bc167ac0f9d5725bb886bc26540bc9 (diff) | |
Keep attributes on module declarations.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/mtype.mli')
| -rw-r--r-- | typing/mtype.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/mtype.mli b/typing/mtype.mli index 0f821d64f..fe824731a 100644 --- a/typing/mtype.mli +++ b/typing/mtype.mli @@ -24,6 +24,7 @@ val freshen: module_type -> module_type val strengthen: Env.t -> module_type -> Path.t -> module_type (* Strengthen abstract type components relative to the given path. *) +val strengthen_decl: Env.t -> module_declaration -> Path.t -> module_declaration val nondep_supertype: Env.t -> Ident.t -> module_type -> module_type (* Return the smallest supertype of the given type in which the given ident does not appear. |