►Dracula: Reference Manual
►1 ACL2
▼1.4 Functions and Macros
1.4.1 Booleans
1.4.2 Symbols
1.4.3 Strings
1.4.4 Characters
1.4.5 Rational and Complex Arithmetic
1.4.6 Bitwise Operations
1.4.7 Ordinal Arithmetic
1.4.8 Lists
1.4.9 Association Lists
1.4.10 Sets
1.4.11 Trees
1.4.12 Sequences
1.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
  ← prev  up  next → 
1.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 →