/**
 * What 'velar/storage' calls answer: a read is typed by the runtime type it
 * validates against, and a write is checked for a value the surface can
 * serialize.
 *
 * D115 P4 R3a: one family of 'inferWebIntrinsic', in the module that family
 * names — with the sentence a read without its type reads, which nothing else
 * asks for.
 */
import { type CompilerIntrinsicAnalysisContext, type Expression, type ValueType } from "@velarscript/compiler/extension";
/** The shape refusal may teach this read without entering value inference. */
export declare function storageIntrinsicArityGuidance(intrinsic: Extract<ValueType, {
    kind: "intrinsic";
}>, arguments_: readonly Expression[]): string | undefined;
export declare function inferStorageIntrinsic(context: CompilerIntrinsicAnalysisContext): ValueType | undefined;
//# sourceMappingURL=storage.d.ts.map