►Dracula: ACL2 in Dr Scheme
►2 Applicative Common Lisp
▼2.4 Functions and Macros
2.4.1 Booleans
2.4.2 Symbols
2.4.3 Strings
2.4.4 Characters
2.4.5 Rational and Complex Arithmetic
2.4.6 Bitwise Operations
2.4.7 Ordinal Arithmetic
2.4.8 Lists
2.4.9 Association Lists
2.4.10 Sets
2.4.11 Trees
2.4.12 Sequences
2.4.13 IO
On this page:
make-ord
o<
o<=
o>
o>=
o-finp
o-infp
o-p
o-first-coeff
o-first-expt
o-rst
Version: 4.1.1
  ← prev  up  next → 
2.4.7 Ordinal Arithmetic

(make-ord xs)

(o< x y)

(o<= x y)

(o> x y)

(o>= x y)

(o-finp x)

(o-infp x)

(o-p x)

(o-first-coeff x)

(o-first-expt x)

(o-rst x)

  ← prev  up  next →