diff options
| author | Jim Fehrle | 2020-10-15 00:03:29 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2020-10-15 00:03:29 -0700 |
| commit | 122cfabc4a453025b87ff599a12c09f988b300d6 (patch) | |
| tree | e08e76fdafb4877305de4bd2b1a560b9ded2439d /kernel/type_errors.mli | |
| parent | 411025844a4c005ce03d77c6c640807c28269d4a (diff) | |
Require at least one reference for Typeclasses Opaque/Transparent
(zero references is currently a no-op)
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions