implies

abstract infix fun implies(booleanExpression: Boolean): ConditionalEffect(source)