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