diff options
| author | Thomas Refis <thomas.refis@gmail.com> | 2018-07-09 13:23:29 +0100 |
|---|---|---|
| committer | Thomas Refis <thomas.refis@gmail.com> | 2018-07-25 13:06:38 +0100 |
| commit | 2403ffb1b57fff58973ad44e46a477b7442735d5 (patch) | |
| tree | fe6471ad3f50725bd21d7dda99317db1f2df08bc /typing/path.mli | |
| parent | 06d96c6260a0f0d43a848025dcb1724cd7d78c1c (diff) | |
| download | ocaml-2403ffb1b57fff58973ad44e46a477b7442735d5.tar.gz | |
typemod: allow items coming from includes to be shadowed
Diffstat (limited to 'typing/path.mli')
| -rw-r--r-- | typing/path.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/path.mli b/typing/path.mli index 5bd21e8341..46549571dc 100644 --- a/typing/path.mli +++ b/typing/path.mli @@ -22,6 +22,7 @@ type t = val same: t -> t -> bool val compare: t -> t -> int +val find_free_opt: Ident.t list -> t -> Ident.t option val exists_free: Ident.t list -> t -> bool val binding_time: t -> int val flatten : t -> [ `Contains_apply | `Ok of Ident.t * string list ] |