Dracula supports these built-in expression forms.
(<function-name> expr ...)
Call a function by writing a sequence starting with its name, followed by expressions to compute its arguments. See Functions and Macros for a list of the functions provided by Dracula, or Events and Definitions to learn how to define your own.
(case expr (x1 val1) ...)
Checks the value of expr against x1 using eql. If it matches, val1 is returned. Otherwise, it checks any the subsequent branches. The optional otherwise branch is evaluated whenever all the ones before it failed. If no branches match (and an otherwise branch is not given), the case statement returns nil.
(case-match expr (pattern declaration body)...+)
Returns the value of the body that corresponds to the first matching pattern.
See ACL2’s documentation for the pattern language used by case-match. The declaration expressions are optional.
(cond (x1 y1)...)
Checks the xs in the given order, and returns the corresponding y for the first x to not evaluate to nil. If no xs match, the cond statement returns nil.
(if p q r)
Returns r if p evaluates to nil; otherwise returns q.
(let ((var1 term1)...) body)
Used for binding local variables. All terms are effectively evaluated in parallel; no term may refer to a variable that is bound in the same let expression.
(let* ((var1 term1)...) body)
Used for binding local variables. All terms are evaluated sequentially, so they may refer to other variables defined in the same let expression
(mv-let (var1 var2 var...) (mv term1 term2 term...) body)
Binds each var to its corresponding term in the mv expression, then evaluates the body.