----------------------------------------------------------------------
FAIL_LT                                                     (Tactical)
----------------------------------------------------------------------
FAIL_LT : string -> list_tactic

SYNOPSIS
List-tactic which always fails, with the supplied string.

KEYWORDS
tactic.

DESCRIBE
Whatever goal list it is applied to, {FAIL_LT s} always fails
with the string {s}.

FAILURE
The application of {FAIL_LT} to a string never fails; the resulting
list-tactic always fails.

SEEALSO
Tactical.FAIL_TAC, Tactical.ALL_LT, Tactical.NO_LT.

----------------------------------------------------------------------