import { Core, AlphaCtx } from "../../core";
import { Env } from "../../env";
import { Value } from "../../value";
export declare class VectorIndCore extends Core {
    length: Core;
    target: Core;
    motive: Core;
    base: Core;
    step: Core;
    constructor(length: Core, target: Core, motive: Core, base: Core, step: Core);
    evaluate(env: Env): Value;
    repr(): string;
    alpha_repr(ctx: AlphaCtx): string;
    static apply(length: Value, target: Value, motive: Value, base: Value, step: Value): Value;
}