<<>> <> <> <> <> <> <> <<>> <> DIRECTORY Scaled; ScaledX: CEDAR PROGRAM IMPORTS Scaled = BEGIN Value: TYPE = Scaled.Value; FromInt: PROC [int: INTEGER] RETURNS [Value] = {RETURN[Scaled.FromInt[int]]}; PLUS: PROC [a, b: Value] RETURNS [Value] = {RETURN[Scaled.PLUS[a, b]]}; MINUS: PROC [a, b: Value] RETURNS [Value] = {RETURN[Scaled.MINUS[a, b]]}; UMINUS: PROC [a: Value] RETURNS [Value] = {RETURN[Scaled.UMINUS[a]]}; GREATER: PROC [a, b: Value] RETURNS [BOOLEAN] = {RETURN[Scaled.GREATER[a, b]]}; LESS: PROC [a, b: Value] RETURNS [BOOLEAN] = {RETURN[Scaled.LESS[a, b]]}; Max: PROC [a, b: Value] RETURNS [Value] = {RETURN[Scaled.Max[a, b]]}; Min: PROC [a, b: Value] RETURNS [Value] = {RETURN[Scaled.Min[a, b]]}; Floor: PROC [a: Value] RETURNS [INTEGER] = {RETURN[Scaled.Floor[a]]}; Ceiling: PROC [a: Value] RETURNS [INTEGER] = {RETURN[Scaled.Ceiling[a]]}; Round: PROC [a: Value] RETURNS [INTEGER] = {RETURN[Scaled.Round[a]]}; Float: PROC [a: Value] RETURNS [REAL] = {RETURN[Scaled.Float[a]]}; FromReal: PROC [real: REAL] RETURNS [Value] = {RETURN[Scaled.FromReal[real]]}; Halve: PROC [a: Value] RETURNS [Value] = {RETURN[Scaled.Halve[a]]}; END.