import * as es from 'estree';
export declare enum Validity {
    Valid = 0,
    NoSmt = 1,
    NoCycle = 2
}
export type HybridValue = {
    type: 'value';
    concrete: any;
    symbolic: es.Expression;
    negation?: es.Expression;
    validity: Validity;
};
export type HybridArray = {
    type: 'array';
    concrete: any;
    symbolic: es.Expression;
    validity: Validity;
};
export type Hybrid = HybridValue | HybridArray;
export declare function hybridizeNamed(name: string, value: any): Hybrid;
export declare function isHybrid(value: any): value is Hybrid;
export declare const hybridValueConstructor: (concrete: any, symbolic: es.Expression, validity?: Validity) => HybridValue;
export declare function makeDummyHybrid(concrete: any): HybridValue;
export declare function getBooleanResult(value: HybridValue): es.Expression;
export declare const hybridArrayConstructor: (concrete: any, symbolic: es.Expression, listHeads?: HybridArray[]) => HybridArray;
export declare function deepConcretizeInplace(value: any): any;
export declare function shallowConcretize(value: any): any;
export declare function evaluateHybridBinary(op: es.BinaryOperator, lhs: any, rhs: any): any;
export declare function evaluateHybridUnary(op: es.UnaryOperator, val: any): number | boolean | "string" | "number" | "bigint" | "boolean" | "symbol" | "undefined" | "object" | "function" | HybridValue;