diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-06-02 18:31:06 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-06-02 18:31:06 +0200 |
commit | efb1a48817405c6ad894d2088077f70c3d7eb15b (patch) | |
tree | d5c1c28fceebf47bdc7e168c1f6432a079588db0 /src/lfsc/ast.mli | |
parent | 18536f162cc9126e743627819dcd69434b91e683 (diff) | |
download | smtcoq-efb1a48817405c6ad894d2088077f70c3d7eb15b.tar.gz smtcoq-efb1a48817405c6ad894d2088077f70c3d7eb15b.zip |
Type back in CompDec (for efficiency reasons)
Diffstat (limited to 'src/lfsc/ast.mli')
0 files changed, 0 insertions, 0 deletions