zero x
../../m2/integers.m2:74:7-74:18: --source code: zero = x -> x == 0 -- we use == so this can apply to all types of things
The object zero is a function closure.