diff options
| author |  Jason Gross <jagro@google.com> | 2016-06-23 16:13:22 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-06-23 18:20:31 -0700 |
| commit | 6335426c320d199bf821a0507b0e26d3ad67ff88 (patch) | |
| tree | 24a7b5e38d3147b15ac32329d36f0c52e25dba91 /src/Util/Unit.v | |
| parent | 7dcd7ef85ff1d1079e3a3378d1f241b155515598 (diff) | |
Add equality on sum types
Diffstat (limited to 'src/Util/Unit.v')
0 files changed, 0 insertions, 0 deletions