----------------------------------------------------------------------
mk_simpset                                                   (simpLib)
----------------------------------------------------------------------
simpLib.mk_simpset : ssfrag list -> simpset

SYNOPSIS
Creates a simpset by combining a list of {ssfrag} values.

KEYWORDS
simplification.

LIBRARY
simpLib

DESCRIBE
This function creates a {simpset} value by repeatedly adding (as per
the {++} operator) {simpset} fragment values to the base {empty_ss}.

FAILURE
Never fails.

USES
Creates simpsets, which are a necessary argument to any simplification
function.

SEEALSO
simpLib.++, simpLib.rewrites, simpLib.SIMP_CONV.

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