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/versions/standard/structures.mli | |
| parent | 18536f162cc9126e743627819dcd69434b91e683 (diff) | |
| download | smtcoq-efb1a48817405c6ad894d2088077f70c3d7eb15b.tar.gz smtcoq-efb1a48817405c6ad894d2088077f70c3d7eb15b.zip | |
Type back in CompDec (for efficiency reasons)
Diffstat (limited to 'src/versions/standard/structures.mli')
0 files changed, 0 insertions, 0 deletions