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

and

abstract infix fun LTL<W>.and(other: LTL<W>): LTL<W>(source)