++

op simpLib.++ : simpset * ssfrag -> simpset

Infix operator for adding an ssfrag item into a simpset.

bossLib.++ is identical to simpLib.++.

See also

bossLib.++