diff options
| author | Samuel Gruetter | 2021-03-19 16:31:35 -0400 |
|---|---|---|
| committer | Samuel Gruetter | 2021-03-19 16:31:35 -0400 |
| commit | 2420764db089d731635787bc11bd9ab312250fe7 (patch) | |
| tree | b61a068af969d23e31fff26b735dab63c37b6d04 /pretyping/typeclasses_errors.ml | |
| parent | fcfeb5bc45febe1a05f44a0a77b43be6b6905f35 (diff) | |
implement is_const, is_var, ... etc and has_evar for Ltac2
Fixes #13963
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions