aboutsummaryrefslogtreecommitdiff
path: root/src/Util/Equality.v
diff options
context:
space:
mode:
authorGravatar Jason Gross <jgross@mit.edu>2019-04-18 16:43:30 -0400
committerGravatar Jason Gross <jgross@mit.edu>2019-04-18 16:43:30 -0400
commit375fa6522a9685d3a217123ebb3a8c4b13eff5b8 (patch)
tree9bd87e0a117c9e5dc01964cf6b67fe0cc6f99c49 /src/Util/Equality.v
parentc5f081f62ff2e6a4dc6c8e08d896e5e01b53f46b (diff)
Add Primitive.reflect_eq_prod
Diffstat (limited to 'src/Util/Equality.v')
0 files changed, 0 insertions, 0 deletions