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 mu : (abstract_value -> abstract_value) -> abstract_value -> abstract_value

val join : abstract_value list -> abstract_value