Module Cil_datatype.Initinfo

module Initinfo: S_with_pretty  with type t = initinfo

include S