diff options
| author | Erik Martin-Dorel | 2019-10-31 22:08:47 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-10-31 22:15:46 +0100 |
| commit | 1090b272772c70a79fb082713451a935737cb1d3 (patch) | |
| tree | 71f11339350228222917a8fc1c95c9c59fd3d092 /kernel/nativelambda.mli | |
| parent | 2845bc2712604a3fab3b3a8497bb29b38acf2777 (diff) | |
[ssr] Refactor/Simplify the implementation of under
* Preserve the same behavior/interface but merge the two Module Types
(UNDER_EQ and) UNDER_REL.
* Remove the "Reflexive" argument in Under_rel.Under_rel
* Update plugin code (ssrfwd.ml) & Factor-out the main step
* Update the Hint (viz. apply over_rel_done => apply: over_rel_done)
* All the tests still pass!
Credits to @CohenCyril for suggesting this enhancement
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions