module StmtStartData: Availexpslv.DF.StmtStartData(sigtype t = Cil_types.exp Availexpslv.LvExpHash.t val size : intend)
Availexpslv.DF.StmtStartData
(
sig
type t = Cil_types.exp Availexpslv.LvExpHash.t
Cil_types.exp Availexpslv.LvExpHash.t
val size : int
int
end
)