"succ" -
related articles and key terms
Related terms:
source lang
programming language
Wikipedia sources:
Binary search tree
Enumerated type
Lambda calculus
Context for words:
succ