Ignore:
Timestamp:
Oct 31, 2011, 10:18:29 AM (8 years ago)
Author:
mulligan
Message:

adding missing asmcosts file for computing the costs of an assembly program!

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/BitVectorTrie.ma

    r1424 r1474  
    227227qed.
    228228
     229alias id "bvt_lookup" = "cic:/matita/cerco/ASM/BitVectorTrie/lookup.fix(0,2,5)".
     230
    229231let rec prepare_trie_for_insertion (A: Type[0]) (n: nat) (b: BitVector n) (a:A) on b : BitVectorTrie A n ≝
    230232   match b with
Note: See TracChangeset for help on using the changeset viewer.