Module Cil_datatype.Initinfo


module Initinfo: S  with type t = initinfo