GENERIC INTERFACE Nbr2DRep(Pixel); (* The nine nearest texels to a given texel in a 2D texture. *) IMPORT RealExtraExtras, RandomReal, GaussRandom; TYPE T = ARRAY [-1..+1] OF ARRAY [-1..+1] OF Pixel.T; CONST N = 9*Pixel.N; TYPE ElemT = REAL; CONST DefaultElemFmt = RealExtraExtras.ToText; CONST URandomCoord = RandomReal.Real; CONST NRandomCoord = GaussRandom.Real; END Nbr2DRep.