FStar
FStar copied to clipboard
arity mismatch (explain)
- Arity mismatch on let rec annotation
- (explain)
Should do with an error message number and in my case I got it by modifying a let rec with two new arguments in the language server when I had not put them in first in the fsti.