diff options
| author | coqbot-app[bot] | 2021-01-18 13:04:52 +0000 |
|---|---|---|
| committer | GitHub | 2021-01-18 13:04:52 +0000 |
| commit | 4efb4b01c6f44127c6c0982ee777651de2ab9204 (patch) | |
| tree | a6007ad7398525ca93d21766d481f65ff5e19763 /kernel/cClosure.ml | |
| parent | 5b08cdcd4bde7fdcd21f7a0f0912f0021847294b (diff) | |
| parent | 4c67572a623e0caf24839e9e6af76bdc6bdf1ac0 (diff) | |
Merge PR #13723: Use a compact case representation for patterns
Reviewed-by: mattam82
Diffstat (limited to 'kernel/cClosure.ml')
0 files changed, 0 insertions, 0 deletions