and

Performs a logical and of the arguments and returns the result. Implements the 'and' function in the specification. (p. 41)

D
and
(
D
)
(
in D x
,
in D y
)

Meta