FDL > PVS > Prelude > booleans > IFF : const-decl

IFF: [bool, bool- > bool] ;