Types.Node
type t = node
val compare : node -> node -> int
val hash : node -> int
val equal : node -> node -> bool