sig val of_data : Vg.Vgr.Private.Data.image -> Vg.I.t end