until

infix fun Formula.until(right: Formula): UntilFormula