[back] [prev] [next] [index] [root]
ubound := LatEnumUpperBound(Lambda [,ubound]);
ubound
Lambda
<- back[back] [prev] [next] [index] [root]