Previous
Up
Next
Module
Cil_datatype.InitInfo
module
InitInfo:
S
with type t = initinfo
Deprecated.
since Boron-20100401