Functor Printer_tag.Make

module Make: 
functor (T : Tag-> S_pp
Parameters:
T : Tag

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