let debug_print fmt vs = VS.fold (fun vi _d -> Format.fprintf fmt "name: %s id:%d " vi.vname vi.vid) vs (); Format.fprintf fmt "@\n"