Module Functionwise.Recording_To_Do

module Recording_To_Do: sig .. end

val accept_base_in_lmap : Cil_types.kernel_function -> Base.t -> bool
val final_cleanup : Cil_types.kernel_function -> Function_Froms.froms -> Function_Froms.froms
val record_kf : Functionwise.Tbl.key -> Functionwise.Tbl.data -> unit