Modules under sicm/general hold functions that are not exported by sicm. Mostly they are used for internal purposes, but they might be handy.
2.1 eq-properties
2.2 equals
2.3 equation-style-unifier
2.4 gjs-cselim
2.5 hashcons
2.6 list-utils
2.7 logic-utils
2.8 memoize
2.9 notes
2.10 permute
2.11 resource-limit
2.12 sets
2.13 stack-queue
2.14 table
2.15 weak