1 2 3 4 5 6
Type error: error: annot mismatch: Bool != Natural --> <current file>:1:19 | 1 | let x : Natural = True in True | ^^^^ annot mismatch: Bool != Natural |