y

val y: LTL<W>(source)