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

bottom

open override val bottom: Term<C, V>

The least element of T.