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

equal

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

Create an equality of two direction formulas.

infix fun Formula.equal(other: Formula): Equals

Create an equality of two formulas.