import type { Lift, Value, ValueVector } from '../r-value';
/**
 * Creates an abstract vector from abstract values
 * @param elements - elements that the vector should contain
 * @returns abstract ValueVector
 */
export declare function vectorFrom<V extends Lift<Value[]>>(elements: V): ValueVector<V>;
/**
 * Flattens all elements inside of a vector
 * A set containing only one element is also replaced by its only element
 * @param s - vector to flatten
 * @returns flattened vactor, if all elements are not bottom / top
 */
export declare function flattenVectorElements(s: Lift<Value[]>): Lift<Value[]>;