webmonitor/com.enniovisco.dsl/implies

implies

infix fun Formula.implies(right: Formula): OrFormula