diff options
| author | Jon French | 2018-04-27 14:46:44 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-01 16:58:26 +0100 |
| commit | 296c6cdf5b4b3bf0814b9000bf61597ac00e9165 (patch) | |
| tree | 3e5317019d86fe6e406034a9a20b3309c86164ee /src/pattern_completeness.mli | |
| parent | b94549367c2536b3df6fba8586efa1a2a4bca7b8 (diff) | |
create a single funcl with a match, rather than converting mapcls to funcls, because OCaml among others doesn't allow top-level guards
Diffstat (limited to 'src/pattern_completeness.mli')
0 files changed, 0 insertions, 0 deletions