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