diff options
author | Pierre Goutagny <pierre.goutagny@ens-lyon.fr> | 2021-06-17 15:58:29 +0200 |
---|---|---|
committer | Pierre Goutagny <pierre.goutagny@ens-lyon.fr> | 2021-06-17 15:58:29 +0200 |
commit | 5a542d158d3bde832e38b65ad5347299fbe7ee32 (patch) | |
tree | cd0fc578fe97cadbc3e3e5cb397bed3b84a22621 /backend/Tunnelingaux.ml | |
parent | 67bc93934e939e57c80ade4c37aaba1535222fa2 (diff) | |
download | compcert-kvx-5a542d158d3bde832e38b65ad5347299fbe7ee32.tar.gz compcert-kvx-5a542d158d3bde832e38b65ad5347299fbe7ee32.zip |
Simplify tunneling factorisation
The recursive module definitions required unnecessarily long expicit
signatures for little added legibility.
Diffstat (limited to 'backend/Tunnelingaux.ml')
0 files changed, 0 insertions, 0 deletions