HOElement
An HOElement[N] is either Left
(left parenthesis), Right
(right parenthesis) or Val(x)
where
x
is a value of type N
. A sequence of HOElements is the standard representation of a hierarchical ordering.
An HOElement[N] is either Left
(left parenthesis), Right
(right parenthesis) or Val(x)
where
x
is a value of type N
. A sequence of HOElements is the standard representation of a hierarchical ordering.