WF_REL_TAC

TotalDefn.WF_REL_TAC : term quotation -> tactic

Re-exported from bossLib.WF_REL_TAC. See that entry for full documentation.