diff options
| author | Pierre-Marie Pédrot | 2017-09-14 16:07:47 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-09-14 17:26:35 +0200 |
| commit | 7cee394fc0c6a7a28def2222be0289d6083f47c2 (patch) | |
| tree | 191dc85919a64d1dd0c16642cceb2992a445cb73 /src/ltac2_plugin.mlpack | |
| parent | 6218f06931384a38445e9d829e6782c069c3ffb4 (diff) | |
Explicit arity for closures.
Diffstat (limited to 'src/ltac2_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions