Imperative.MakeNumberedNode
module Term : PatriciaTree.HeterogeneousKey
module Relation : Parameters.SIMPLE_GENERIC_GROUP
module Value :
Parameters.SIMPLE_GENERIC_VALUE
with type ('a, 'b) relation = ('a, 'b) Relation.t
include sig ... end
module Node : sig ... end
module Relation : sig ... end
module Value : sig ... end
type !'a root = 'a MakeNode(Term)(Relation)(Value).root = {
mutable value : 'a Value.t;
mutable size : int;
}
type !'a parent = 'a MakeNode(Term)(Relation)(Value).parent =
| Node : 'b Node.t * ('a0, 'b) Relation.t -> 'a0 parent
| Root of 'a root
Checks if a node has already been constructed for the given term