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