Module type From_compute.Recording_Sig

module type Recording_Sig = sig .. end
Module explaining how results should be recorded.

val accept_base_in_lmap : Cil_types.kernel_function -> Base.t -> bool
val final_cleanup : Cil_types.kernel_function -> Function_Froms.t -> Function_Froms.t
val record_kf : Cil_types.kernel_function -> Function_Froms.t -> unit