diff options
| author | Pierre-Marie Pédrot | 2017-08-04 15:48:07 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-04 15:51:03 +0200 |
| commit | 2e01ea9e1ab0f9e8d90dd4e4ac598bc1691b9272 (patch) | |
| tree | 73edd9be901385c861cf004876fb862adf771496 /src/tac2stdlib.mli | |
| parent | fce4a1a9cbb57a636155181898ae4ecece5af59d (diff) | |
More precise type for quoted structures.
Diffstat (limited to 'src/tac2stdlib.mli')
0 files changed, 0 insertions, 0 deletions