Combinatorics

factorial : U64 -> U64

The factorial of n is product of all the integers from 1 to n.

choose : U64, U64 -> U64

The binomial coefficient, the number of ways of choosing k things from a collection of size n.