either

pypagate.either(form: Formula | Term, f: Callable[[], None], g: Callable[[], None])

Creates a new function with name name that, when called, executes f when form is True and g when form is False.

Parameters:

• form – Formula to test.

• f – Function to evaluate when form is True.

• g – Function to evaluate when form is False