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

AND: [bool, bool- > bool] ;