<> <> <> DIRECTORY IPBasic USING [Any, Integer, Number]; IPOps: CEDAR DEFINITIONS = BEGIN OPEN IPBasic; <<2.4.8 Test operators>> Eq: PROC[a, b: Any] RETURNS[BOOL]; EqN: PROC[a, b: Any] RETURNS[BOOL]; Gt: PROC[a, b: Number] RETURNS[BOOL]; Ge: PROC[a, b: Number] RETURNS[BOOL]; Type: PROC[a: Any] RETURNS[Integer]; <<2.4.9 Arithmetic operators>> Add: PROC[a, b: Number] RETURNS[Number]; Sub: PROC[a, b: Number] RETURNS[Number]; Neg: PROC[a: Number] RETURNS[Number]; Abs: PROC[a: Number] RETURNS[Number]; Floor: PROC[a: Number] RETURNS[Number]; Ceiling: PROC[a: Number] RETURNS[Number]; Trunc: PROC[a: Number] RETURNS[Number]; Round: PROC[a: Number] RETURNS[Number]; Mul: PROC[a, b: Number] RETURNS[Number]; Div: PROC[a, b: Number] RETURNS[Number]; Mod: PROC[a, b: Number] RETURNS[Number]; Rem: PROC[a, b: Number] RETURNS[Number]; END.