Module Cilutil.StmtSet


module StmtSet: sig .. end
Set of Cil_types.stmt with a pretty printer.
Consult the Plugin Development Guide for additional details.
include Set.S
val pretty : Format.formatter -> t -> unit