Version: 4.1.4.3

1.4 Functions and Macros

Dracula provides these functions and macros from ACL2.

    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