import type { Lift, Value, ValueSet } from '../r-value';
import { Top } from '../r-value';
export declare function setFrom<V extends Value[]>(...elements: V): Lift<ValueSet<Value[]>>;
export declare function isSet<V extends Value>(element: V): boolean;
export declare const ValueEmptySet: Lift<ValueSet<Value[]>>;
export declare const ValueSetTop: ValueSet<typeof Top>;
export declare const ValueSetBottom: ValueSet<typeof Top>;