import { type Lift, type TernaryLogical, type ValueLogical } from '../r-value';
/**
 *
 */
export declare function liftLogical(log: Lift<TernaryLogical>): ValueLogical;
export declare const ValueLogicalTrue: ValueLogical;
export declare const ValueLogicalFalse: ValueLogical;
export declare const ValueLogicalMaybe: ValueLogical;
export declare const ValueLogicalTop: ValueLogical;
export declare const ValueLogicalBot: ValueLogical;