import type * as std from "../../law/std";
import type { Declarations } from "../common/declarations";
import { ____VarRef } from "../../node/el/controls/varRef";
import type { SentenceEnvsStruct } from "../getSentenceEnvs";
import type { ____LawRef } from "../../node/el/controls";
import { __Text } from "../../node/el/controls";
import type { WithErrorValue } from "../../parser/std/util";
import type { SentenceChildEL } from "../../node/cst/inline";
import type { SentenceEnv } from "../../node/container/sentenceEnv";
import type { PointerEnvsStruct } from "../pointerEnvs/getPointerEnvs";
export declare const matchVariableReferences: (textEL: __Text, sentenceEnv: SentenceEnv, declarations: Declarations) => (WithErrorValue<{
    newItems: SentenceChildEL[];
    varRefs: ____VarRef[];
}> | null);
export declare const detectVariableReferencesOfEL: (elToBeModified: std.StdEL | std.__EL, sentenceEnv: SentenceEnv, declarations: Declarations, lawRefByDeclarationID: Map<string, ____LawRef>, pointerEnvsStruct: PointerEnvsStruct) => WithErrorValue<{
    varRefs: ____VarRef[];
}>;
export declare const detectVariableReferences: (sentenceEnvsStruct: SentenceEnvsStruct, declarations: Declarations, lawRefByDeclarationID: Map<string, ____LawRef>, pointerEnvsStruct: PointerEnvsStruct) => WithErrorValue<{
    varRefs: ____VarRef[];
}>;
export default detectVariableReferences;