diff options
| author | Pierre-Marie Pédrot | 2020-09-30 13:21:02 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-09-30 13:41:38 +0200 |
| commit | f16290030b48dedf3091334af4cd21a7df157381 (patch) | |
| tree | d8719b40c6ab8e009816f1a6f4f74aa67c72eec3 /kernel/uGraph.ml | |
| parent | e3a1cf35313bbc4eaca2a43f5fc95ca306bc45fa (diff) | |
Further simplification of the typeclass registration API.
Diffstat (limited to 'kernel/uGraph.ml')
0 files changed, 0 insertions, 0 deletions