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