Module closure

Source
Expand description

Code for type-checking closure expressions.

Structsยง

ClosureSignatures ๐Ÿ”’
ExpectedSig ๐Ÿ”’
What signature do we expect the closure to have from context?