blob: baf05794656af35617259eda4a001a4b86866f76 (
plain)
1
2
3
4
5
6
7
8
9
|
Require Import BinPos Int63 PArray.
Definition foo (n : positive) :=
let a := make 2 0 in
let b := Pos.iter (fun b => set b 1 1) a 100000 in
let v := get b 0 in
Pos.iter (fun v => v + get a 0) v n.
Timeout 5 Time Eval vm_compute in foo 1000000.
|
