kone.algebraic/dev.lounres.kone.algebraic/UIntContext/div

div

open operator override fun UInt.div(other: UInt): UInt(source)

Returns quotient of Euclidean division (a.k.a. a division with remainder).