@eagleoutice/flowr
Version:
Static Dataflow Analyzer and Program Slicer for the R Programming Language
15 lines (14 loc) • 618 B
TypeScript
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>;