Module Core.Printhtml

val print : string -> (Stdlib.out_channel -> (Frama_c_kernel.Cil_types.kinstr * Frama_c_kernel.Cil_types.exp) -> unit) -> (Stdlib.out_channel -> (Frama_c_kernel.Cil_types.kinstr * Frama_c_kernel.Cil_types.lval) -> unit) -> (Stdlib.out_channel -> string -> unit) -> unit