FAST_QUANT_INST_ss

quantHeuristicsLib.FAST_QUANT_INST_ss : quant_param list -> simpLib.ssfrag

A simpset fragement corresponding to FAST_QUANT_INSTANTIATE_CONV.

See also

quantHeuristicsLib.FAST_QUANT_INSTANTIATE_CONV