diff options
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 45ba03db0a..72823ac082 100644 --- a/typing/typemod.mli +++ b/typing/typemod.mli @@ -29,6 +29,8 @@ val transl_signature: val check_nongen_schemes: Env.t -> Typedtree.structure -> unit +val simplify_signature: signature -> signature + val package_units: string list -> string -> string -> Typedtree.module_coercion |