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

OR: [bool, bool- > bool] ;