base.Count

imm .nat(n: imm base.Nat): mut base.Count[imm base.Nat] -> …,
imm .int(n: imm base.Int): mut base.Count[imm base.Int] -> …,
imm #(n: imm base.Int): mut base.Count[imm base.Int] -> …,
imm .nat(n: imm base.Nat): mut base.Count[imm base.Nat] -> …,
imm .int(n: imm base.Int): mut base.Count[imm base.Int] -> …,
imm #(n: imm base.Int): mut base.Count[imm base.Int] -> …,