Cubicle 1.1.2 documentation and source : Iheap.init

let init sz = 
  { heap    =  Vec.init sz (fun i -> i) dummy;
    indices =  Vec.init sz (fun i -> i) dummy}