<<>> <> <> <> <> <<>> DIRECTORY G3dBasic, Random; G3dNormalCoding: CEDAR DEFINITIONS ~ BEGIN <> <> <> <> Triple: TYPE ~ G3dBasic.Triple; RandomStream: TYPE ~ Random.RandomStream; <> <> <> <> <<>> EncodeNormal: PROC [dx, dy: REAL, dither: BOOL ¬ TRUE, userRS: RandomStream ¬ NIL] RETURNS [pval: INT]; <> <> <> <> <<>> DecodeNormal: PROC [pval: INT] RETURNS [Triple]; <> <> <<>> IsValidNormalIndex: PROC [index: INT] RETURNS [BOOL]; <> <> <> END. <<>>