/[mojave]/metaprl/theories/mc/mp_mc_fir_exp.mli
ViewVC logotype

Diff of /metaprl/theories/mc/mp_mc_fir_exp.mli

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3591 by emre, Sat Apr 27 02:45:24 2002 UTC revision 3592 by emre, Mon Apr 29 23:15:57 2002 UTC
# Line 76  Line 76 
76  (* Coerce to float. *)  (* Coerce to float. *)
77    
78  declare floatOfIntOp{ 'float_precision }  declare floatOfIntOp{ 'float_precision }
79  declare floatOfFloatOp{ 'float_precision1; 'float_precision2 }  declare floatOfFloatOp{ 'float_precision_dest; 'float_precision_src }
80  declare floatOfRawIntOp{ 'float_precision; 'int_precision; 'int_signed }  declare floatOfRawIntOp{ 'float_precision; 'int_precision; 'int_signed }
81    
82  (* Coerce to rawint. *)  (* Coerce to rawint. *)

Legend:
Removed from v.3591  
changed lines
  Added in v.3592

  ViewVC Help
Powered by ViewVC 1.1.26