arithmetic/language/tests.lisp
(name parameters &body body)Subtraction or unary negation.
Constrain a quantity between compatible bounds.
Division of two represented quantities.
Construct a meaningful literal.
Name a compatible derived quantity.
Multiplication and scalar scaling.
Addition over compatible quantities.
Test whether one compatible scalar is less than another.
The non-negative remainder of integer division.
One top-level defining form of a source file.
(name)Return the live arithmetic definition named by NAME, or NIL.
A checked arithmetic source definition awaiting an execution backend.
Test whether two compatible scalars are equal.
(unit)Test whether one compatible scalar is greater than another.
(definition)One inspectable application of shared function source to checked values.
A lexical alias binding one function argument inside an application.
(name parameter-forms body)A bounded value-producing fold over an index and one carried state. The binding list is (INDEX COUNT STATE INITIAL), optionally followed by :UNTIL TEST, whose TEST sees INDEX and STATE and ends the fold early.
A value conditional shared by every arithmetic realization.
(declaration)Return DECLARATION's backend or Common Lisp representation type, or NIL.
(declaration)Return DECLARATION's homogeneous quantity specification, or NIL.
(declaration)Convert a quantity to a compatible unit.
(left right)