import { Core, AlphaCtx } from "../../core"; import { Env } from "../../env"; import { Value } from "../../value"; export declare class EitherCore extends Core { left_t: Core; right_t: Core; constructor(left_t: Core, right_t: Core); evaluate(env: Env): Value; repr(): string; alpha_repr(ctx: AlphaCtx): string; }