Module Cilutil.StmtMap


module StmtMap: sig .. end
Map indexed by Cil_types.stmt with a customizable pretty printer

include Map.S
val pretty : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit