import { Core, AlphaCtx } from "../../core"; import { Env } from "../../env"; import { Value } from "../../value"; export declare class ApCore extends Core { target: Core; arg: Core; constructor(target: Core, arg: Core); evaluate(env: Env): Value; ap_args_repr(): Array; ap_target_repr(): string; repr(): string; alpha_repr(ctx: AlphaCtx): string; static apply(target: Value, arg: Value): Value; }