GenericRelational.Node
module Node : Parameters.SIMPLE_GENERIC_TERM
module Relation : Parameters.SIMPLE_GENERIC_GROUP
type 'a parent =
| Node : 'b Node.t * ('a, 'b) Relation.t -> 'a parent
| Root of root
The type of parents. A term either points to: