Region_analysis_stmt.MakeNode
module M : sig ... end
val pretty : Stdlib.Format.formatter -> node -> unit
module Dict : sig ... end
module Graph : sig ... end
module DomTree : sig ... end
module Edge_Dict : sig ... end
type abstract_value = M.abstract_value
val compile_node :
node ->
abstract_value ->
(node Fixpoint.Region_analysis.edge * abstract_value) list
val join : abstract_value list -> abstract_value
val mu : (abstract_value -> abstract_value) -> abstract_value -> abstract_value