blob: a234f9feebd5cc6429ca09d226119bf89ad38f2a (
plain)
1
2
3
4
5
6
|
Type error: Unhandled error: error: unbound variable `constructors`
--> <current file>:1:0
|
1 | constructors < Left : Natural | Right : Bool >
| ^^^^^^^^^^^^ not found in this scope
|
|