Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

NO_LT

Tactical.NO_LT : list_tactic

List-tactic which always fails.

Whatever goal list it is applied to, NO_LT always fails with string `NO_LT`.

Failure

Always fails.

See also

Tactical.NO_TAC, Tactical.ALL_LT, Tactical.FAIL_LT