| << Prev | - Up - | Next >> |
value.emptyFS.value.empty
Denotes
.
value.universalFS.value.universal
Denotes
.
value.singl{FS.value.singl +I ?M}
value.make{FS.value.make +Spec ?M}
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.
| << Prev | - Up - | Next >> |