diff options
| author | Hugo Herbelin | 2015-08-28 09:39:30 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-09-08 12:45:58 +0200 |
| commit | 108ede6e7aa4383474581bc428ff05b94097c92d (patch) | |
| tree | 4315c802d37b99196338eadfb2e410d8bf410027 /dev | |
| parent | 0f8d1b92c37c80e96df2a157a78188d6d94b6e35 (diff) | |
Documenting the code when preference is given to expansion of default
clause in pattern-matching or not.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions