Module From_register.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.tt -> Function_Froms.tt
val record_kf : From_register.Functionwise_Dependencies.key ->
From_register.Functionwise_Dependencies.data -> unit