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