HUCTLp / com.github.sybila.huctl.dsl / or

or

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

Create a disjunction of two direction formulas.

infix fun Formula.or(other: Formula): Or

Create a disjunction of two formulas.