Module Region_analysis_stmt.MakeNode

Parameters

module M : sig ... end

Signature

type node = Frama_c_kernel.Cil_types.stmt
val equal : node -> node -> bool
val pretty : Stdlib.Format.formatter -> node -> unit
module Dict : sig ... end
module Set : Stdlib.Set.S with type elt = node
module Graph : sig ... end
module DomTree : sig ... end
module Edge_Dict : sig ... end
type abstract_value = M.abstract_value
val join : abstract_value list -> abstract_value