import type { Core } from "../core/index.js";
import type { Exp } from "../exp/index.js";
import type * as Values from "../value/index.js";
export type Insertion = InsertionPatternVar | InsertionUsedArg | InsertionImplicitArg;
export type InsertionPatternVar = {
    "@kind": "InsertionPatternVar";
    patternVar: Values.PatternVar;
    argExp?: Exp;
};
export declare function InsertionPatternVar(patternVar: Values.PatternVar, argExp?: Exp): InsertionPatternVar;
export type InsertionUsedArg = {
    "@kind": "InsertionUsedArg";
    argCore: Core;
};
export declare function InsertionUsedArg(argCore: Core): InsertionUsedArg;
export type InsertionImplicitArg = {
    "@kind": "InsertionImplicitArg";
    argCore: Core;
};
export declare function InsertionImplicitArg(argCore: Core): InsertionImplicitArg;
//# sourceMappingURL=Insertion.d.ts.map