Module Cil_datatype.InitInfo


module InitInfo: S  with type t = initinfo