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

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

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

revision 3575 by emre, Fri Apr 5 09:33:57 2002 UTC revision 3576 by emre, Fri Apr 12 05:37:53 2002 UTC
# Line 51  Line 51 
51   * Binary operations.   * Binary operations.
52   *)   *)
53    
54    (* Naml ints. *)
55    
56  topval const_elim_plusIntOp : conv  topval const_elim_plusIntOp : conv
57  topval const_elim_minusIntOp : conv  topval const_elim_minusIntOp : conv
58  topval const_elim_mulIntOp : conv  topval const_elim_mulIntOp : conv
59    
60    (* Native ints. *)
61    
62  topval const_elim_plusRawIntOp : conv  topval const_elim_plusRawIntOp : conv
63  topval const_elim_minusRawIntOp : conv  topval const_elim_minusRawIntOp : conv
64  topval const_elim_mulRawIntOp : conv  topval const_elim_mulRawIntOp : conv

Legend:
Removed from v.3575  
changed lines
  Added in v.3576

  ViewVC Help
Powered by ViewVC 1.1.26