diff options
| author | Gaëtan Gilbert | 2018-03-02 13:22:27 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-04-13 14:09:19 +0200 |
| commit | 9ab85ef978c78edb3e4e5ec97ec93a970f021fc2 (patch) | |
| tree | 3e6451b47b36071596d8589a48206879367dc44b /kernel/uGraph.mli | |
| parent | f3b84cf63c242623bdcccd30c536e55983971da5 (diff) | |
universe minimization: cleanup using standard combinators, open Univ
eg Constraint.partition + filter instead of a complicated fold.
Diffstat (limited to 'kernel/uGraph.mli')
0 files changed, 0 insertions, 0 deletions