diff options
| author | Hugo Herbelin | 2016-04-25 13:20:11 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-04-27 21:55:45 +0200 |
| commit | 0fc6d2dcdb7d12e37d43cbf44fecaf2c0fddadcc (patch) | |
| tree | 16c6f0e9a8816a82da35df6927d4a0a6b4e98693 /interp/topconstr.mli | |
| parent | 361cc73acc9d016e183e3fe85a84f470c31bc4e2 (diff) | |
Reformatting + removal of some useless data + some cut-elimination
in interning of patterns.
No semantic changes (except the type of ids_of_cases_indtype).
Diffstat (limited to 'interp/topconstr.mli')
| -rw-r--r-- | interp/topconstr.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/interp/topconstr.mli b/interp/topconstr.mli index 0f30135f89..58edd4ddf8 100644 --- a/interp/topconstr.mli +++ b/interp/topconstr.mli @@ -23,7 +23,7 @@ val free_vars_of_constr_expr : constr_expr -> Id.Set.t val occur_var_constr_expr : Id.t -> constr_expr -> bool (** Specific function for interning "in indtype" syntax of "match" *) -val ids_of_cases_indtype : cases_pattern_expr -> Id.t list +val ids_of_cases_indtype : cases_pattern_expr -> Id.Set.t val split_at_annot : local_binder list -> Id.t located option -> local_binder list * local_binder list |