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

*: [real, real- > real] ;