/[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 3563 by emre, Fri Apr 5 01:16:49 2002 UTC revision 3564 by emre, Fri Apr 5 07:07:58 2002 UTC
# Line 233  Line 233 
233    
234  declare atomNil{ 'ty }  declare atomNil{ 'ty }
235  declare atomInt{ 'int }  declare atomInt{ 'int }
236  declare atomEnum{ 'int1; 'int2 }  declare atomEnum{ 'int1; 'int2 } (* 'int1 = bound, 'int2 = value *)
237  declare atomRawInt{ 'int_precision; 'int_signed; 'num }  declare atomRawInt{ 'int_precision; 'int_signed; 'num }
238  declare atomFloat{ 'float_precision; 'num }  declare atomFloat{ 'float_precision; 'num }
239  declare atomLabel{ 'frame_label }  declare atomLabel{ 'frame_label }

Legend:
Removed from v.3563  
changed lines
  Added in v.3564

  ViewVC Help
Powered by ViewVC 1.1.26