diff options
| author | Guillaume Melquiond | 2021-02-17 12:12:29 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2021-02-19 11:17:26 +0100 |
| commit | ab94a2a5dbe142d972d65a33d977e8e9f8d52f01 (patch) | |
| tree | 45b6fb6ea9fc2a13c1b02a0bbb2800ad3a2f4458 /kernel/declareops.ml | |
| parent | c7bbe4729dc53ddf3a02a7ae3816ec3c146d452e (diff) | |
Make the generated file the official source of arity.
Diffstat (limited to 'kernel/declareops.ml')
0 files changed, 0 insertions, 0 deletions