diff options
| author | Gaëtan Gilbert | 2018-11-07 12:52:47 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-11-21 13:21:18 +0100 |
| commit | 4011b02ff1d991e0d40b082515aa372686f0648d (patch) | |
| tree | 695a5a490e90f6d4953f0d4a86dc6effedda1257 /kernel/type_errors.mli | |
| parent | e0db7f1baef37bb60db2dd1c963572f175392783 (diff) | |
Make initial evar map argument to check_evars_are_solved optional.
(same for solve_remaining_evars)
This is the standard way to use these functions, with 1 exception in
Unification.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions