diff options
| author |  SimonBoulier <simon.boulier@ens-rennes.fr> | 2018-05-30 11:33:37 +0200 |
|---|---|---|
| committer | SimonBoulier <simon.boulier@ens-rennes.fr> | 2018-06-05 15:54:12 +0200 |
| commit | b0dee52bfa97405adc7c0dbffa0f3558f349659e (patch) | |
| tree | 673c1cbbb05521972da10945d184c1585dd3f8b4 /kernel/cemitcodes.mli | |
| parent | 00a01f65be79bef8592928941646750968dbe648 (diff) | |
Define rec_declaration in terms of prec_declaration.
And similarly for fixpoint and cofixpoint.
Diffstat (limited to 'kernel/cemitcodes.mli')
0 files changed, 0 insertions, 0 deletions