diff options
| author |  Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-02-10 11:38:13 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-02-11 22:28:39 +0100 |
| commit | 91597060c0919489a29c31bc60b6ae0d754ef09b (patch) | |
| tree | 5af8bc9d64e3baca71f7861f7ac2b273290685ac /printing | |
| parent | d3253a01da1f76e4317f9cf218976c765e0df858 (diff) | |
inferCumulativity: add comment to explain [if not is_arity].
Diffstat (limited to 'printing')
0 files changed, 0 insertions, 0 deletions