x:\E α.{val : α, op : α→ Int}
x = pack[α = Int in {val:α, op:α→ Int} ]((3,S))
x.op(x.val) = 4
interface
-
type
\E α. {val : α, op : α→ Int}
representation
- α = Int
contents
- (3,S)
slide
:
Packages -- examples