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