diff options
| author | Alasdair Armstrong | 2019-08-05 15:05:34 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-08-05 15:05:34 +0100 |
| commit | 3f26221cc9d2e8961a1199e351de0aba9e2ed960 (patch) | |
| tree | 78b63911cfbbd8975f41389b21531f478290fa49 /src/spec_analysis.mli | |
| parent | 8b1c4ce0c3659020e0f2a2e04d70798931dc9b63 (diff) | |
Remove escape/pure effect restriction for mapping
Diffstat (limited to 'src/spec_analysis.mli')
0 files changed, 0 insertions, 0 deletions