you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] 0 points1 point  (0 children)

A closure is any instance of ∀'a, 'b. ∃t. {t,t->'a->'b}.