with

infix fun C.with(signature: LabeledMonomialSignature)
infix inline fun C.with(noinline block: DSL1LabeledPolynomialTermSignatureBuilder.() -> Unit)