diff options
| author |  Jason Gross <jgross@mit.edu> | 2019-02-19 15:21:56 -0500 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2019-02-20 21:31:26 -0500 |
| commit | 47c0533d8640af625d6f403a0784edaa6cc26fac (patch) | |
| tree | 47700515c0fa49b74f210c9dcc9b049606486db6 /src/PushButtonSynthesis/Primitives.v | |
| parent | 2762d51ac4d8dcc6cc5494bf7dce624fe221fb16 (diff) | |
Add base.{base_,}interp_beq
These are the canonical boolean equality functions for the interpretations of the various base types. This will probably come in handy for side conditions in proofs about reifications of rewrite rules.
Diffstat (limited to 'src/PushButtonSynthesis/Primitives.v')
0 files changed, 0 insertions, 0 deletions