diff options
author | Arnaud Spiwack <arnaud@spiwack.net> | 2015-07-23 09:46:21 +0200 |
---|---|---|
committer | Arnaud Spiwack <arnaud@spiwack.net> | 2015-09-25 10:40:10 +0200 |
commit | d50aa51b4a3d39e708bc5ab3acb9f549857bceef (patch) | |
tree | a4aa394b96d647a478779984e59c0515ce5ffff9 /library/global.mli | |
parent | e0547f9e9134a9fff122df900942a094c53535c3 (diff) |
Add `Guarded` to the assumption tokens.
Diffstat (limited to 'library/global.mli')
0 files changed, 0 insertions, 0 deletions