diff options
| author |  Karn Kallio <kkallio@eka> | 2011-08-11 23:55:57 -0530 |
|---|---|---|
| committer | Karn Kallio <kkallio@eka> | 2011-08-11 23:55:57 -0530 |
| commit | eb12686e6aa16540ee8dbe97b5cb9648e387039f (patch) | |
| tree | a1661a3935d2eac4f9294c9d2b0c34c0cac82dc3 /src/expl_util.sig | |
| parent | 67ac8bb3984807fc3facefa553979d5a1ae8b595 (diff) | |
Distribute applications of "arrow type" ECase across branches.
Diffstat (limited to 'src/expl_util.sig')
0 files changed, 0 insertions, 0 deletions