-
let realloc l old_size new_size dummy =
let l' = Array.create new_size dummy in
for i = 0 to (min old_size new_size) - 1 do
let add a i j k v =
let line = Lvl1.find a i in
if line == a.Lvl1.dummy then
- let nline = { line with Lvl1.offset = ~-1 } in
- Lvl2.add nline j k v;
- Lvl1.add a i nline
+ let nline = Lvl1.create 0 line.Lvl1.dummy in
+ Lvl1.add a i nline;
+ Lvl2.add nline j k v
else
Lvl2.add line j k v