Module type Region_analysis_sig.Node

module type Node = sig .. end

type node 
val pretty : Stdlib.Format.formatter -> node -> unit
module Dict: sig .. end
module Set: FCSet.S  with type elt = node
module Graph: sig .. end
module DomTree: sig .. end
module Edge_Dict: sig .. end
type abstract_value 
val compile_node : node ->
abstract_value ->
(node Region_analysis_sig.edge *
abstract_value)
list
val join : abstract_value list ->
abstract_value
val mu : (abstract_value ->
abstract_value) ->
abstract_value ->
abstract_value