7.5 Finite Set Constants

value.empty: FS.value.empty; Denotes $\emptyset$ .
value.universal: FS.value.universal; Denotes $\uniset$ .
value.singl: {FS.value.singl +I ?M}; ${\tt M} = \{{\tt I}\}$
value.make: {FS.value.make +Spec ?M}; ${\tt M} = \conv({\tt Spec})$
value.is: {FS.value.is +M ?B}; Tests whether M is a finite set value or not.
value.toString: {FS.value.toString +M ?S}; Converts M to a string and returns it in M.