compiler/io.github.aplcornell.viaduct.algebra.solver/Term/Bounds/top

top

open override val top: Term<C, V>

The greatest element of T.