import { AgencyNode, VariableType, ValueAccess } from "../types.js";
/** Exported for the drift test only: the synthesized literal type must
 *  stay structurally equal to the real stdlib Code alias. */
export declare function codeLiteralTypeForTests(): VariableType;
import { TypeCheckerContext } from "./types.js";
import { Scope } from "./scope.js";
export declare function synthType(expr: AgencyNode, scope: Scope, ctx: TypeCheckerContext): VariableType;
export declare function synthValueAccess(expr: ValueAccess, scope: Scope, ctx: TypeCheckerContext): VariableType;