coko-core/de.fraunhofer.aisec.codyze.specificationLanguages.coko.core.dsl/with

with

infix fun Op.with(conditionOp: Op): ConditionalOp(source)

Create a ConditionalOp with this as the ConditionalOp.resultOp and conditionOp as the ConditionalOp.conditionOp