Var [T]
extends ObjectAn abstraction for variable definition to use in a quoted program. It decouples the operations of get and update, if needed to be spliced separately.
An abstraction for variable definition to use in a quoted program. It decouples the operations of get and update, if needed to be spliced separately.