Type Alias BodyT<Name, QVarSorts, QSort>

BodyT: QSort extends BoolSort<Name>
    ? Bool<Name>
    : QSort extends SMTArray<Name, QVarSorts, infer RangeSort>
        ? SortToExprMap<RangeSort, Name>
        : never

Defines the expression type of the body of a quantifier expression

Type Parameters

Settings

Member Visibility