Closed andrew-johnson-4 closed 1 week ago
fragment x : DontChain := ... f : DontMangle := ...
The type annotation in this case isn't a return type but rather an annotation on the whole term.
The type annotation in this case isn't a return type but rather an annotation on the whole term.