Module Kernel_ast.PP

module PP: Printer_tag.S_pp 

include Printer_api.S_pp
val with_unfold_precond : (Cil_types.stmt -> bool) ->
(Format.formatter -> 'a -> unit) -> Format.formatter -> 'a -> unit