../../m2/integers.m2:47:10-47: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.