File: OpaqueType.i3 Last Modified On Tue Jun 28 10:18:16 PDT 1994 By kalsow
INTERFACEOpaqueType ; IMPORT Type, Value; PROCEDURE New (super: Type.T; decl: Value.T): Type.T; PROCEDURE Is (t: Type.T): BOOLEAN; PROCEDURE Super (t: Type.T): Type.T; PROCEDURE IsSubtype (a, b: Type.T): BOOLEAN; PROCEDURE UID (t: Type.T): INTEGER;
if t is an opaque type, return it's uid, otherwise return zero
END OpaqueType.