DECIDE_TAC

bossLib.DECIDE_TAC : tactic

Invoke decision procedure(s).

DECIDE_TAC is the tactical version of DECIDE.

Failure

As for DECIDE

See also

bossLib.DECIDE