diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-07-18 17:29:13 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-07-18 17:29:13 -0400 |
| commit | db71493ffd90e2668259efbb549f7a781c2530db (patch) | |
| tree | eda48e786ad2690ca0f2dc994a44290d74302129 /src/expl_util.sig | |
| parent | e2b9068b56e352d5e3680fe5e4e0849169c5f419 (diff) | |
Support fancy expressions in module-level 'val' declarations
Diffstat (limited to 'src/expl_util.sig')
0 files changed, 0 insertions, 0 deletions