mutable
sigma : id
VMAP
.t =
VMAP
.empty