Make.2-D
type t
type edge = G.E.t
val join : t -> t -> t
val equal : t -> t -> bool
val analyze : edge -> t -> t
val widening : t -> t -> t