Previous
Up
Next
Module
Cil_datatype.Initinfo
module
Initinfo:
S
with type t = initinfo