Interface SeqCreation<Name>

interface SeqCreation<Name extends string> {
    empty<ElemSort extends Sort<Name>>(
        elemSort: ElemSort,
    ): Seq<Name, ElemSort>;
    sort<ElemSort extends Sort<Name>>(
        elemSort: ElemSort,
    ): SeqSort<Name, ElemSort>;
    unit<ElemSort extends Sort<Name>>(
        elem: Expr<Name, AnySort<Name>, unknown>,
    ): Seq<Name, ElemSort>;
}

Methods

unit<ElemSort extends Sort<Name>>(
elem: Expr<Name, AnySort<Name>, unknown>,
): Seq<Name, ElemSort>
Create a unit sequence (sequence with single element)
Type Parameters
- ElemSort extends Sort<Name>
Parameters
- elem: Expr<Name, AnySort<Name>, unknown>
Returns Seq<Name, ElemSort>
- Defined in src/high-level/types.ts:2840