<> <> <> <<>> DIRECTORY Basics; TamarinDivide: CEDAR DEFINITIONS = BEGIN <<>> Priority: PROC [inNum: INT] RETURNS [priority: NAT _ 0, isZero: BOOL]; Divide: PROC [inD1, inD2: INT] RETURNS [quotient, remainder: INT, overFlow: BOOL _ FALSE]; OldPriority: PROC [inNum: INT] RETURNS [priority: INT _ 0]; END.