DSL1NumberedPolynomialTermSignatureBuilder

Constructors

constructor()

Functions

Link copied to clipboard
infix inline fun Int.in(deg: UInt)
Link copied to clipboard
infix fun Int.inPowerOf(deg: UInt)
Link copied to clipboard
infix inline fun Int.of(deg: UInt)
Link copied to clipboard
infix inline fun Int.pow(deg: UInt)