Ignore:
Timestamp:
Feb 27, 2013, 10:46:33 PM (7 years ago)
Author:
sacerdot
Message:
  1. debugging code in glue
  2. updated version
File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/compiler.mli

    r2743 r2746  
    295295open ASMCostsSplit
    296296
     297type strong_decidable = (__, __) Types.sum
     298
     299val strong_decidable_in_codomain :
     300  Deqsets.deqSet -> Nat.nat -> __ BitVectorTrie.bitVectorTrie -> __ ->
     301  strong_decidable
     302
    297303val compile :
    298304  Csyntax.clight_program -> ((object_code, costlabel_map1) Types.prod,
Note: See TracChangeset for help on using the changeset viewer.