Ignore:
Timestamp:
Mar 4, 2013, 10:03:33 AM (8 years ago)
Author:
sacerdot
Message:
  1. everything extracted again after all bugs in Matita's extraction have been fixed. No more need for manual patching
  2. new extraction after file reorganization (by James)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/frontEndOps.mli

    r2717 r2773  
    526526
    527527val ev_cmpp :
    528   GenMem.mem1 -> Integers.comparison -> Values.val0 -> Values.val0 ->
     528  GenMem.mem -> Integers.comparison -> Values.val0 -> Values.val0 ->
    529529  Values.val0 Types.option
    530530
     
    534534
    535535val eval_binop :
    536   GenMem.mem1 -> AST.typ -> AST.typ -> AST.typ -> binary_operation ->
     536  GenMem.mem -> AST.typ -> AST.typ -> AST.typ -> binary_operation ->
    537537  Values.val0 -> Values.val0 -> Values.val0 Types.option
    538538
Note: See TracChangeset for help on using the changeset viewer.