7.3.5 Relations

Page 180 of 800

Search internet

The base page defines the following predicates related to pairs:

x pairp [x pairp] True if x is a pair.

x atom [x atom] True if x is not a pair.

Some examples read

<< 1 ,, 2 >> pairp == true

<< 1 ,, 2 >> atom == false

2 pairp == false

2 atom == true

true pairp == false

true atom == true

<<>> pairp == false

<<>> atom == true

exception pairp == exception

exception atom == exception

bottom pairp == bottom

bottom atom == bottom

Page 180 of 800

Search logiweb.eu