Make.N
val pretty : Stdlib.Format.formatter -> node -> unit
module Dict : sig ... end
module Graph : sig ... end
module DomTree : sig ... end
module Edge_Dict : sig ... end
val compile_node : node -> abstract_value -> (node edge * abstract_value) list
val join : abstract_value list -> abstract_value
val mu : (abstract_value -> abstract_value) -> abstract_value -> abstract_value