FDL > PVS > Prelude > reals > + : const-decl

+: [real, real- > real] ;