§
Linear vs uniqueness types
A function
A -o B
which is linear in
A
guarantees that the function
consumes
A
A function
Unique
-> B
guarantees that the function holds the
only reference
to
A
.