<> <<>> <> <> IPReal: CEDAR DEFINITIONS = BEGIN Floor: PROC[a: REAL] RETURNS[REAL]; Ceiling: PROC[a: REAL] RETURNS[REAL]; Trunc: PROC[a: REAL] RETURNS[REAL]; Round: PROC[a: REAL] RETURNS[REAL]; Mod: PROC[a, b: REAL] RETURNS[REAL]; Rem: PROC[a, b: REAL] RETURNS[REAL]; Sqrt: PROC[a: REAL] RETURNS[REAL]; Exp: PROC[b, e: REAL] RETURNS[REAL]; Log: PROC[b, v: REAL] RETURNS[REAL]; Sin: PROC[a: REAL] RETURNS[REAL]; Cos: PROC[a: REAL] RETURNS[REAL]; ATan: PROC[y, x: REAL] RETURNS[REAL]; END.