diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2016-03-12 15:52:41 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2016-03-12 15:52:41 -0500 |
| commit | ce046247973013fe5dbcf3c18dd3aba889155c6c (patch) | |
| tree | 903c2966b1e4c06544963d3a498a09f2968ccf48 /src/settings.sig | |
| parent | 6b85dbb54d5d9928a53f0f916cf0cb33c04ff87c (diff) | |
MonoReduce: fancier test for inlining a record where each field is used at most once
Diffstat (limited to 'src/settings.sig')
0 files changed, 0 insertions, 0 deletions