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

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

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

revision 3563 by emre, Sun Mar 24 22:35:29 2002 UTC revision 3564 by emre, Fri Apr 5 07:07:58 2002 UTC
# Line 49  Line 49 
49   * Modular arithmetic for integers.   * Modular arithmetic for integers.
50   *)   *)
51    
52  (* Precision of naml integers. *)  (* Precision of naml integers. Corresponds to tyInt. *)
53    
54  declare naml_prec  declare naml_prec
55    
# Line 143  Line 143 
143   * Normal values.   * Normal values.
144   *)   *)
145    
146  topval reduce_atomVar_atomNil : conv  topval reduce_atomInt : conv
147  topval reduce_atomVar_atomInt : conv  topval reduce_atomRawInt : conv
148  topval reduce_atomVar_atomEnum : conv  topval reduce_atomVar : conv
 topval reduce_atomVar_atomRawInt : conv  
 topval reduce_atomVar_atomFloat : conv  
 topval reduce_atomVar_atomConst : conv  
149    
150  (*  (*
151   * Expressions.   * Expressions.
# Line 158  Line 155 
155    
156  topval reduce_letUnop : conv  topval reduce_letUnop : conv
157  topval reduce_letBinop : conv  topval reduce_letBinop : conv
   
 (*************************************************************************  
  * Automation.  
  *************************************************************************)  
   
 topval firEvalT : int -> tactic  

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

  ViewVC Help
Powered by ViewVC 1.1.26