Module Core.Exp_dump

module Cil_types = Frama_c_kernel.Cil_types

val exp_dump : should_print:((Cil_types.kinstr * Cil_types.exp) -> bool) -> (Stdlib.out_channel -> (int * Cil_types.kinstr * Cil_types.exp) -> unit) -> Stdlib.out_channel -> unit