diff options
| author | Pierre-Marie Pédrot | 2021-01-05 16:15:12 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2021-01-05 23:29:24 +0100 |
| commit | bdd186a7d6fc6e413e1b575085402f3c88fa5c23 (patch) | |
| tree | 93ea27144cf9cee714eb57739746f4b5ac6de31d /kernel/nativevalues.mli | |
| parent | 8c7457e18de2fb5be89f22c76ac59541345d1d5c (diff) | |
Move universe printing out of AcyclicGraph.
Instead we export a representation function that gives a high-level view
of the data structure in terms of constraints.
Diffstat (limited to 'kernel/nativevalues.mli')
0 files changed, 0 insertions, 0 deletions