Imperative.MakeSimpleNode
module Term : Parameters.SIMPLE_GENERIC_TERM
module Relation : Parameters.SIMPLE_GENERIC_GROUP
include Parameters.SIMPLE_UF_NODE with module Relation = Relation
module Node : Parameters.SIMPLE_GENERIC_TERM
module Relation = Relation
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: