mk_simpset
simpLib.mk_simpset : ssfrag list -> simpset
Creates a simpset by combining a list of ssfrag values.
This function creates a simpset value by repeatedly adding (as per the
++ operator) simpset fragment values to the base empty_ss.
Failure
Never fails.
Creates simpsets, which are a necessary argument to any simplification function.