implies

infix fun DirFormula.implies(right: DirFormula): DirFormula

Create an implication of two direction formulas.

infix fun Formula.implies(other: Formula): Implies

Create an implication of two formulas.