diff options
Diffstat (limited to 'typing/env.mli')
| -rw-r--r-- | typing/env.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/env.mli b/typing/env.mli index ff737e3e89..f96c76b7c1 100644 --- a/typing/env.mli +++ b/typing/env.mli @@ -156,6 +156,7 @@ val add_signature: signature -> t -> t Used to implement open. Returns None if the path refers to a functor, not a structure. *) val open_signature: + ?used_slot:bool ref -> ?loc:Location.t -> ?toplevel:bool -> Asttypes.override_flag -> Path.t -> t -> t option |