kone.polynomial/dev.lounres.kone.polynomial/DSL1LabeledPolynomialTermSignatureBuilder/in

in

infix inline fun LabeledVariable.in(deg: UInt)(source)