Parameter Make.N

type node

val equal : node -> node -> bool

val pretty : Stdlib.Format.formatter -> node -> unit

module Dict : sig ... end

module Set : Stdlib.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 edge * abstract_value) list

val join : abstract_value list -> abstract_value

val mu : (abstract_value -> abstract_value) -> abstract_value -> abstract_value