<> <> <> <> <<>> RandomCard: CEDAR DEFINITIONS = BEGIN Init: PROC [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 [CARDINAL]; <> Choose: PROC [min, max: CARDINAL] RETURNS [CARDINAL--[min..max]--]; <> < max), raises ERROR Error[badInterval].>> Error: ERROR [ec: ErrorType]; ErrorType: TYPE = { badInterval }; END.