diff options
Diffstat (limited to 'checker/subtyping.mli')
-rw-r--r-- | checker/subtyping.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/checker/subtyping.mli b/checker/subtyping.mli index 07f48789d..ecdf55775 100644 --- a/checker/subtyping.mli +++ b/checker/subtyping.mli @@ -13,6 +13,9 @@ open Declarations open Environ (*i*) +(** Invariant: the first [module_type_body] is now supposed to be + known by [env] *) + val check_subtypes : env -> module_type_body -> module_type_body -> unit |