Module Cil_datatype.StmtSet


module StmtSet: S  with type t = Cilutil.StmtSet.t
Datatype for a set of statements.