import { type Lift, type Value, type ValueSet, Top } from '../r-value';
/**
 * Creates a value set from the given elements.
 * @see {@link isSet} - to check whether a value is a set
 */
export declare function setFrom<V extends Value[]>(...elements: V): Lift<ValueSet<Value[]>>;
/**
 * Checks, whether the given value is a set.
 * @see {@link setFrom} - to create sets
 */
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>;