[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

Specification float
enrich byte
 , 
       string-less
 with
   sorts 
      float double;
   constants 
      0f : float;
      0d : double;
   functions 
      mkfloat : string → float;
      mkdouble : string → double;
       . .int : float → int;
       . .int : double → int;
   variables 
      floatvar : float; 
      doublevar : double; 
end enrich