kone.algebraic/dev.lounres.kone.algebraic/Semiring/value

value

open val UInt.value: Number(source)

Converts instance of UInt to an element of the Semiring it is equal to.

The result is equal to a sum of this number of units.

open val ULong.value: Number(source)

Converts instance of Long to an element of the Semiring it is equal to.

The result is equal to a sum of this number of units.