		Search-engine friendly clone of the ACL2 documentation.

Parser

defparse-aleo-option-table

Table of option parsing functions.

Definition: *defparse-aleo-option-table*

(defconst *defparse-aleo-option-table*
  '(((((:repetition (:repeat 1 (:finite 1))
                    (:char-val (:insensitive nil "-")))))
     . lex-optional-hyphen)
    ((((:repetition (:repeat 1 (:finite 1))
                    (:rulename (:rulename "finalize-command")))
       (:repetition (:repeat 1 (:finite 1))
                    (:rulename (:rulename "finalize")))))
     . lex-optional-transition-finalize)))