Module Cilutil.StmtHashtbl


module StmtHashtbl: sig .. end
Hashtbl of Cil_types.stmt with a pretty printer.
Consult the Plugin Development Guide for additional details.

include Hashtbl.S
val pretty : Format.formatter -> 'a t -> unit