Interface SeqSort<Name, ElemSort>

Sequence sort (can be string or sequence of any element type)

interface SeqSort<
    Name extends string = "main",
    ElemSort extends Sort<Name> = Sort<Name>,
> {
    ctx: Context<Name>;
    get ast(): Z3_ast;
    basis(): Sort<Name>;
    cast(other: Seq<Name, Sort<Name>>): Seq<Name, Sort<Name>>;
    cast(other: string): Seq<Name, Sort<Name>>;
    cast(other: CoercibleToExpr<Name>): Expr<Name, AnySort<Name>, unknown>;
    eqIdentity(other: Ast<Name, unknown>): boolean;
    hash(): number;
    id(): number;
    isString(): boolean;
    kind(): Z3_sort_kind;
    name(): string | number;
    neqIdentity(other: Ast<Name, unknown>): boolean;
    sexpr(): string;
    subsort(other: Sort<Name>): boolean;
}

Type Parameters

Hierarchy (View Summary)

Properties

Accessors

Methods