base.Count[N]

mut .get: N, // from base.Var/1
read .get: read/imm N, // from base.Var/1
mut --: N,
mut ++: N,
mut .swap(x: N): N, // from base.Var/1
mut *=(n: N): N,
mut .set(x: N): imm base.Void -> …, // from base.Var/1
mut +=(n: N): N,
mut <-(f: mut base.UpdateVar[N]): N -> …, // from base.Var/1
mut -=(n: N): N,
mut *: N -> …, // from base.Var/1
read *: read/imm N -> …, // from base.Var/1
mut .update(f: mut base.UpdateVar[N]): N -> …, // from base.Var/1
mut :=(x: N): imm base.Void -> …, // from base.Var/1
mut .get: N, // from base.Var/1
read .get: read/imm N, // from base.Var/1
mut --: N,
mut ++: N,
mut .swap(x: N): N, // from base.Var/1
mut *=(n: N): N,
mut .set(x: N): imm base.Void -> …, // from base.Var/1
mut +=(n: N): N,
mut <-(f: mut base.UpdateVar[N]): N -> …, // from base.Var/1
mut -=(n: N): N,
mut *: N -> …, // from base.Var/1
read *: read/imm N -> …, // from base.Var/1
mut .update(f: mut base.UpdateVar[N]): N -> …, // from base.Var/1
mut :=(x: N): imm base.Void -> …, // from base.Var/1