Changeset 2717 for extracted/aSMCostsSplit.ml
- Timestamp:
- Feb 23, 2013, 1:16:55 AM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
extracted/aSMCostsSplit.ml
r2649 r2717 15 15 open Interpret 16 16 17 open BitVectorTrie18 19 17 open Fetch 20 18 … … 22 20 23 21 open LabelledObjects 22 23 open BitVectorTrie 24 25 open Exp 24 26 25 27 open Arithmetic … … 142 144 (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S 143 145 Nat.O))))))))))))))))) 144 ( Util.exponential (Nat.S (Nat.S Nat.O))(Nat.S (Nat.S (Nat.S (Nat.S146 (Exp.exp (Nat.S (Nat.S Nat.O)) (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S 145 147 (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S 146 (Nat.S (Nat.SNat.O))))))))))))))))))148 (Nat.S Nat.O)))))))))))))))))) 147 149 148 150 (** val compute_costs :
Note: See TracChangeset
for help on using the changeset viewer.