Interface FiniteSetCreation<Name>

interface FiniteSetCreation<Name extends string> {
    const<ElemSort extends Sort<Name>>(
        name: string,
        elemSort: ElemSort,
    ): FiniteSet<Name, ElemSort>;
    consts<ElemSort extends Sort<Name>>(
        names: string | string[],
        elemSort: ElemSort,
    ): FiniteSet<Name, ElemSort>[];
    empty<ElemSort extends Sort<Name>>(
        sort: ElemSort,
    ): FiniteSet<Name, ElemSort>;
    range(
        low: Expr<Name, AnySort<Name>, unknown>,
        high: Expr<Name, AnySort<Name>, unknown>,
    ): FiniteSet<Name, Sort<Name>>;
    singleton<ElemSort extends Sort<Name>>(
        elem: Expr<Name, AnySort<Name>, unknown>,
    ): FiniteSet<Name, ElemSort>;
    sort<ElemSort extends Sort<Name>>(
        elemSort: ElemSort,
    ): FiniteSetSort<Name, ElemSort>;
}