module Make: functor (T : Tag) -> S_pp
functor (
T
:
Tag
) ->
S_pp
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