GENERIC INTERFACE Nbr2D(Pixel); (* The nine nearest texels to a given texel in a 2D texture. *) TYPE T = ARRAY [-1..+1] OF ARRAY [-1..+1] OF Pixel.T; END Nbr2D.