diff options
| author | Brian Campbell | 2018-11-21 13:58:26 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-11-21 16:30:58 +0000 |
| commit | 9b68baa58c1c6a3fc28df961624c522cca74cf8c (patch) | |
| tree | 00707a8e6feed72c5b42ad3f70e7ff9a15854436 /src/bytecode_util.ml | |
| parent | 05c68ff053485e9d5089969303e73045fb6cab6c (diff) | |
Coq: add equality for records and polymorphic vectors
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions