Module Cil_datatype.StmtSetRef


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