MakeNumberedNode.Node
type 'a t = 'a MakeNode(Term)(Relation)(Value).Node.t
val polyeq : 'a t -> 'b t -> ('a, 'b) PatriciaTree.cmp