HUCTLp / com.github.sybila.huctl / Formula / And / <init>

<init>

And(left: Formula, right: Formula)

Logical conjunction. A state satisfies this formula if it satisfies both left and right.