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