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