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

IMPLIES: [bool, bool- > bool] ;