📄️ Bool
The Bool type is provided by the kernel, rather than a particular file in the standard library.
📄️ int.ac
The int module provides integers and related functions.
📄️ nat.ac
The nat module provides natural numbers and some related functions.
📄️ nat_gcd.ac
The nat_gcd module contains logic around the greatest common denominator.
📄️ rat.ac
The rat module provides rational numbers and related functions.
📄️ real.ac
The real module provides real numbers.