AU

infix fun Formula.AU(reach: Formula): Until

Create an all until formula over future paths without direction restriction.

fun Formula.AU(reach: Formula, dir: DirFormula = DirFormula.True): Until

Create an all until formula over future paths with optional direction restriction.