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

> =(x, y): bool = y < = x;