/* 0.28.0 */
import type { BoxedExpression, IdentifierDefinitions } from '../global-types';
export declare const LOGIC_LIBRARY: IdentifierDefinitions;
export declare function simplifyLogicFunction(x: BoxedExpression): {
    value: BoxedExpression;
    because: string;
} | undefined;