import { SemanticContext } from "../core/compilation/contexts";
import { ToBooleanConversion, PointerToBooleanConversion } from "../core/constructs/expressions/ImplicitConversion";
import { PointerComparisonExpression } from "../core/constructs/expressions/PointerComparisonExpression";
import { RelationalBinaryOperatorExpression } from "../core/constructs/expressions/RelationalBinaryOperatorExpression";
import { CompoundAssignmentExpression } from "../core/constructs/expressions/CompoundAssignmentExpression";
import { AssignmentExpression } from "../core/constructs/expressions/AssignmentExpression";
import { AtomicType, PointerType } from "../core/compilation/types";
export declare function assignmentEquivalence(assn: AssignmentExpression, compound: CompoundAssignmentExpression, ec: SemanticContext): boolean;
export declare function checkForZeroEquivalence<T extends AtomicType>(boolConv: ToBooleanConversion<T>, rel: RelationalBinaryOperatorExpression, ec: SemanticContext): boolean;
export declare function checkForNullptrEquivalence<T extends PointerType>(boolConv: PointerToBooleanConversion<T>, rel: PointerComparisonExpression, ec: SemanticContext): boolean;