diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-02-15 22:26:29 +0000 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-02-15 22:26:29 +0000 |
commit | 5560f9398bd29e468488446be71f85648851a78b (patch) | |
tree | cd87d5a99cfa85967388e7c690d4620b9ff8c7bd /src/common/Vericertlib.v | |
parent | 8b340f0120a074feffd736e288ffac673290152d (diff) | |
download | vericert-5560f9398bd29e468488446be71f85648851a78b.tar.gz vericert-5560f9398bd29e468488446be71f85648851a78b.zip |
Add PTree traversal functions for vericert monads
Diffstat (limited to 'src/common/Vericertlib.v')
0 files changed, 0 insertions, 0 deletions