		Search-engine friendly clone of the ACL2 documentation.

Keywords

keywords

List of Leo keywords.

Definition: *keywords*

(defconst *keywords*
  (list "address"
        "async" "bool" "console" "const"
        "constant" "decrement" "else" "field"
        "finalize" "for" "function" "group" "i8"
        "i16" "i32" "i64" "i128" "if" "import"
        "in" "increment" "let" "mapping"
        "program" "public" "record" "return"
        "scalar" "string" "struct" "transition"
        "u8" "u16" "u32" "u64" "u128"))