Module type Printer_tag.S_pp

module type S_pp = 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