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

and

infix fun DirFormula.and(right: DirFormula): And

Create a conjunction of two direction formulas.

infix fun Formula.and(other: Formula): And

Create a conjunction of two formulas.