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