<> <> <> <> <<>> RandomInt: CEDAR DEFINITIONS = BEGIN Init: PROC [range: INTEGER _ 0, seed: INTEGER _ 0] RETURNS [trueSeed: INTEGER]; <0, seed is scaled if necessary and then used; if seed<0, a seed value is derived from the system clock. In any case, the seed value actually used (after scaling) is the INTEGER value returned by Init.>> <> <<>> Next: PROC [] RETURNS [INTEGER]; <> Choose: PROC [min, max: INTEGER] RETURNS [INTEGER--[min..max]--]; <> < max), raises ERROR Error[badInterval].>> Error: ERROR [ec: ErrorType]; ErrorType: TYPE = { badInterval }; END.