Interface SMTSetCreation<Name>

interface SMTSetCreation<Name extends string> {
    const<ElemSort extends AnySort<Name>>(
        name: string,
        elemSort: ElemSort,
    ): SMTSet<Name, ElemSort>;
    consts<ElemSort extends AnySort<Name>>(
        names: string | string[],
        elemSort: ElemSort,
    ): SMTSet<Name, ElemSort>[];
    empty<ElemSort extends AnySort<Name>>(
        sort: ElemSort,
    ): SMTSet<Name, ElemSort>;
    sort<ElemSort extends AnySort<Name>>(
        elemSort: ElemSort,
    ): SMTSetSort<Name, ElemSort>;
    val<ElemSort extends AnySort<Name>>(
        values: CoercibleToMap<SortToExprMap<ElemSort, Name>, Name>[],
        sort: ElemSort,
    ): SMTSet<Name, ElemSort>;
}