Function
FLOOR
The term {tt (floor $tau$)} denotes the largest integer less than the object denoted by $tau$.
Arity
:
2
Range
:
Integer
Defined in theory:
Kif-numbers
Source code:
kif-numbers.lisp