import { IdentifierMapping } from './LogicScriptIdentifierMapping';
import { LogicScriptBooleanExpression, LogicScriptTestCall } from './LogicScriptParserTypes';
export type StrictNotExpression = {
    type: 'StrictNotExpression';
    expression: LogicScriptTestCall;
};
export type StrictOrExpression = {
    type: 'StrictOrExpression';
    clauses: (StrictNotExpression | LogicScriptTestCall)[];
};
export type StrictAndExpression = {
    type: 'StrictAndExpression';
    clauses: (StrictOrExpression | StrictNotExpression | LogicScriptTestCall)[];
};
export type StrictBooleanExpression = StrictNotExpression | StrictOrExpression | StrictAndExpression | LogicScriptTestCall;
export declare function simplifyLogicScriptExpression(expression: LogicScriptBooleanExpression, identifiers: Map<string, IdentifierMapping>): StrictBooleanExpression;