Make.2-A
type data
type edge
= G.E.t
type vertex
= G.V.t
type g
= G.t
val direction : direction
val join : data -> data -> data
val equal : data -> data -> bool
val analyze : edge -> data -> data