Parameter MakeNode.M

val kf : Frama_c_kernel.Kernel_function.t
type abstract_value
val compile_node : Frama_c_kernel.Cil_types.stmt -> abstract_value -> (Frama_c_kernel.Cil_types.stmt Codex.Fixpoint.Region_analysis.edge * abstract_value) list
val join : abstract_value list -> abstract_value