diff options
| author | Jon French | 2018-05-11 17:07:55 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-11 17:07:55 +0100 |
| commit | 3b57f110103bda40398f752950248c50d834670e (patch) | |
| tree | 7f2557a3fbfaf9f3028c8596a3aa9640f868f10d /src/specialize.mli | |
| parent | 86cad118fe98594921ff8e3a4046f72a8d6024d8 (diff) | |
support for mapping-patterns inside (should be) all other pattern types
Diffstat (limited to 'src/specialize.mli')
0 files changed, 0 insertions, 0 deletions