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

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

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

revision 3561 by emre, Sun Mar 24 22:35:29 2002 UTC revision 3562 by emre, Wed Apr 3 08:37:31 2002 UTC
# Line 32  Line 32 
32   * Email:  emre@its.caltech.edu   * Email:  emre@its.caltech.edu
33   *)   *)
34    
 include Base_theory  
   
35  (*  (*
36   * This is an identity operation for an FIR program.   * This is an identity operation for an FIR program. Later, we'd
37     * like to do optimizations and proofs.
38   *)   *)
39    
40  val compile : Fir.prog -> Fir.prog  val compile : Fir.prog -> Fir.prog

Legend:
Removed from v.3561  
changed lines
  Added in v.3562

  ViewVC Help
Powered by ViewVC 1.1.26