Besides the two functions listed below, this module provides IfB
, EqB
and OrdB
instances for the ()
and the :.
data types.
Two fixed function lists are considered equal if all elements are equal. For element-wise comparisions,
use the all
and any
functions.