DSL1LabeledPolynomialTermSignatureBuilder

Constructors

constructor()

Functions

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