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