1 2 3 4 5 6
Type error: error: annot mismatch: Natural != Bool --> <current file>:1:2 | 1 | (0 : Natural) : Bool | ^^^^^^^^^^^ annot mismatch: Natural != Bool |