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

or

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