import type { ValueIr } from "../../../core/domain/facts/value-ir.js";
import type { SyntaxNode } from "../../../infrastructure/parser/ts-utils.js";
/**
 * Resolves a name the fold cannot read off the syntax: a package constant, or
 * a field of a record the caller proved.
 */
export type GoValueResolver = (node: SyntaxNode) => ValueIr | null;
/**
 * Folds a Go expression to the value IR of project-map:CTR-007. Only the forms
 * this phase can prove are folded; anything else becomes a typed hole rather
 * than the text of the expression that produced it.
 */
export declare function foldGoValue(node: SyntaxNode | null, resolve?: GoValueResolver): ValueIr;