Make.S
type node
type edge
val compare : node -> node -> int
val show_node : node -> string
val show_edge : edge -> string