----------------------------------------------------------------------
FAST_QUANT_INSTANTIATE_TAC                        (quantHeuristicsLib)
----------------------------------------------------------------------
FAST_QUANT_INSTANTIATE_TAC : quant_param list -> tactic

SYNOPSIS
A fast version of {quantHeuristicsLib.QUANT_INSTANTIATE_TAC}. It does
not preprocess the term in order to minimise the number of variable
occurrences.

SEEALSO
quantHeuristicsLib.QUANT_INSTANTIATE_CONV,
quantHeuristicsLib.QUANT_INSTANTIATE_TAC.

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