with

infix fun C.with(signature: NumberedMonomialSignature)
infix inline fun C.with(noinline block: DSL1NumberedPolynomialTermSignatureBuilder.() -> Unit)