yafrl-testing/io.github.yafrl.testing/LTLResult/and

and

infix fun and(other: LTLResult): LTLResult(source)