package base

set (T (r, x)) is equivalent to r := x.

sets ts = List.iter ts ~f:set

snapshot (T (r, _)) returns T (r, !r).