▼ACL2s Beginner Mode
On this page:
atom
  top  contents    up  next → 

10 Miscellaneous🔗ℹ

procedure

(atom v) → boolean

  v : all
Produces t if v is anything other than a cons. Produces nil if v is a cons.

> (atom 5)

t

> (atom "watermelon")

t

> (atom t)

t

> (atom nil)

t

> (atom (cons 5 "watermelon"))

nil

> (atom (cons t nil))

nil

  top  contents    up  next →