General sequence sort. For Char, returns StringSort.
(s: SortRef)
| 3914 | |
| 3915 | |
| 3916 | def SeqSort(s: SortRef) -> SeqSortRef | StringSortRef: |
| 3917 | """General sequence sort. For Char, returns StringSort.""" |
| 3918 | if isinstance(s, CharSortRef): |
| 3919 | return StringSort() |
| 3920 | return SeqSortRef(s) |
| 3921 | |
| 3922 | |
| 3923 | def Empty(s: SortRef) -> ExprRef: |