diff options
| author | Hugo Herbelin | 2017-08-09 14:00:26 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-02-20 10:03:03 +0100 |
| commit | 407e154baa44609dea9f6f1ade746e24d60e2513 (patch) | |
| tree | d29ce22e16bdd2a243f45d16f6a07ec81a299f18 /printing/ppconstr.mli | |
| parent | 66eae7fa7f8e1f075a8c84afad48af4d35c4bfaf (diff) | |
Rephrasing ETBinderList with a self-documenting and invariant-carrying argument.
Diffstat (limited to 'printing/ppconstr.mli')
0 files changed, 0 insertions, 0 deletions