module type S_pp = sig .. end
sig
end
include Printer_api.S_pp
val with_unfold_precond : (Cil_types.stmt -> bool) -> (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a -> unit
(Cil_types.stmt -> bool) -> (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a -> unit