summaryrefslogtreecommitdiff
path: root/src/expl_util.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-07-18 17:29:13 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-07-18 17:29:13 -0400
commitdb71493ffd90e2668259efbb549f7a781c2530db (patch)
treeeda48e786ad2690ca0f2dc994a44290d74302129 /src/expl_util.sig
parente2b9068b56e352d5e3680fe5e4e0849169c5f419 (diff)
Support fancy expressions in module-level 'val' declarations
Diffstat (limited to 'src/expl_util.sig')
0 files changed, 0 insertions, 0 deletions