kone.algebraic/dev.lounres.kone.algebraic/UIntContext/valueOf

valueOf

open override fun valueOf(arg: UInt): UInt(source)

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

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

open override fun valueOf(arg: ULong): UInt(source)

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

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