diff options
author | 2017-03-22 17:01:31 -0400 | |
---|---|---|
committer | 2017-03-22 17:01:31 -0400 | |
commit | 055d75c242af8cbf49f767ca0e3636ae3c257ae0 (patch) | |
tree | 28ba27f866e3ed999e5e34cefe5c5e74fc3fabbd /src/Reflection/Named/MapCast.v | |
parent | 9c161a63a918b266df3975110ed0244dc69eaf79 (diff) |
Also count lets in operations and pairs
Diffstat (limited to 'src/Reflection/Named/MapCast.v')
0 files changed, 0 insertions, 0 deletions