FAST_QUANT_INST_ss : quant_param list -> simpLib.ssfrag
STRUCTURE
quantHeuristicsLib
SYNOPSIS
A simpset fragement corresponding to
FAST_QUANT_INSTANTIATE_CONV
.
SEEALSO
FAST_QUANT_INSTANTIATE_CONV
HOL
Kananaskis-13