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

NOT: [bool- > bool] ;