diff options
| author | Jan-Oliver Kaiser | 2020-05-14 17:08:20 +0200 |
|---|---|---|
| committer | Pierre Roux | 2021-04-22 09:16:22 +0200 |
| commit | 2cbc36c6ae4ca22e000dbb045c865f54a454aca3 (patch) | |
| tree | 28cfb03cc4af70bcd86f7058571aa5a44da270b0 /lib/remoteCounter.ml | |
| parent | 3442bfa0e7c7e5ba3ce7d62f16d221c2e6da03cf (diff) | |
Enable canonical `fun _ => _` projections.
Diffstat (limited to 'lib/remoteCounter.ml')
0 files changed, 0 insertions, 0 deletions