Overview

The calculator answers two different questions. Keep them apart; the same type has a number in each.

• Counting data — the stored-value side: how many values a type can hold. Sums add, products multiply, functions are exponentials.
• Counting methods — the implementation side: how many pure, total implementations a method or constructor signature admits.

Both sides share the same algebra: sizes are polynomials a·ε₀ + b·ω + n, added componentwise, so two countable alternatives stay 2ω. The reference pages state the rules and the limits; the evidence register carries the derivation.