Module Cil_datatype.Initinfo

module Initinfo: S  with type t = initinfo