Imperative.MakeSimpleNumberedNode
Same as MakeSimpleNode
, but also remembers all built node in a PatriciaTree
so we can check if terms already have an associated node
module Term : PatriciaTree.HeterogeneousKey
module Relation : Parameters.SIMPLE_GENERIC_GROUP
include sig ... end
module Node : sig ... end
module Relation : sig ... end
type !'a parent = 'a MakeSimpleNode(Term)(Relation).parent =
| Node : 'b Node.t * ('a0, 'b) Relation.t -> 'a0 parent
| Root of root
Checks if a node has already been constructed for the given term