Previous
Up
Next
Module
Cil_datatype.StmtSetRef
module
StmtSetRef:
S
with type t =
Cilutil.StmtSet
.t ref
Datatype for a reference to a set of statements.