Type Alias SMTSetSort<Name, ElemSort>

SMTSetSort: SMTArraySort<Name, [ElemSort], BoolSort<Name>>

Set Implemented using Arrays

Type Parameters

Name extends string = "main"
ElemSort extends AnySort<Name> = Sort<Name>
The sort of the element of the set