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: Set.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