scratch
§
Linear vs Uniqueness Types
created 2022-11-24
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
.
❦