<> <> <> DIRECTORY IPBasic USING [Any, Integer, State, Vec, Vector, VectorShape]; IPVector: CEDAR DEFINITIONS = BEGIN OPEN IPBasic; Get: PROC[v: Vector, n: Integer] RETURNS[Any]; <> <> MakeVecLU: PROC[self: State, l, u: Integer] RETURNS[Vector]; <> <> <maxInteger>> <maxVecSize>> <> MakeVec: PROC[self: State, n: Integer] RETURNS[Vector]; <> <> <maxVecSize>> <> Shape: PROC[v: Vector] RETURNS[VectorShape]; <> GetProp: PROC[v: Vector, propName: Any] RETURNS[x: Any, b: BOOL]; GetP: PROC[v: Vector, propName: Any] RETURNS[Any]; MergeProp: PROC[v1, v2: Vector] RETURNS[Vector]; Make: PROC[self: State, shape: VectorShape] RETURNS[Vec]; <> <> <maxInteger>> <maxVecSize>> <> VectorToVec: PROC[v: Vector] RETURNS[Vec]; <> <> NewVec: PROC[shape: VectorShape] RETURNS[Vec]; <> CopyVec: PROC[v: Vec] RETURNS[Vec]; <> RunSize: PROC[r: Vector] RETURNS[Integer]; <> <> <> <> RunGet: PROC[r: Vector, i: Integer] RETURNS[Any]; <> <> <> <> END.