Previous
Up
Next
Module
Cil_datatype.StmtSet
module
StmtSet:
S
with type t =
Cilutil.StmtSet
.t
Datatype for a set of statements.
Consult the
Plugin Development Guide
for additional details.