Imperative.MakeNode
module Term : Parameters.SIMPLE_GENERIC_TERM
module Relation : Parameters.SIMPLE_GENERIC_GROUP
module Value :
Parameters.SIMPLE_GENERIC_VALUE
with type ('a, 'b) relation = ('a, 'b) Relation.t
include Parameters.UF_NODE
with module Relation = Relation
and module Value = Value
include Parameters.SIMPLE_UF_NODE with module Relation = Relation
module Node : Parameters.SIMPLE_GENERIC_TERM
module Relation = Relation
module Value = Value
The type of root nodes, attached to each representative
type 'a parent =
| Node : 'b Node.t * ('a, 'b) Relation.t -> 'a parent
| Root of 'a root
The type of parents. A term either points to: