Core Sets

Core sets are so-called because they are part of the core Sol language specification, and represent the primitive Sol types, e.g. the set of integers, strings, lists, etc.. Every R⁴ Scheme type has a corresponding Sol core set. In addition, there are a number of core sets relating to aspects of the Sol language not shared with Scheme (the set of sets, for instance). Core sets are special in that all other sets in some way derive from core sets, either by explicitly including members or through operations on other sets.