and -- r7rs Definition

§

Kind

§

syntax;

Implemented by

§

• and (from vonuvoli);

Syntax signature

§

Syntax keywords:

• expression: expression;

Syntax variants:

• (_)
• (_ expression |...|)

Exports

§

• scheme:base -- (scheme base);

Exports recursive

§

• scheme -- (scheme);

Description

§

(and <test_1> ...)

Semantics: The <test> expressions are evaluated from left to right, and if any expression evaluates to #f (see section on booleans), then #f is returned. Any remaining expressions are not evaluated. If all the expressions evaluate to true values, the values of the last expression are returned. If there are no expressions, then #t is returned.

(and (= 2 2) (> 2 1))           ===>  #t
(and (= 2 2) (< 2 1))           ===>  #f
(and 1 2 'c '(f g))             ===>  (f g)
(and)                           ===>  #t

---

The text herein was sourced and adapted as described in the "R7RS attribution of various text snippets" appendix.