Created by Susan Owicki Last modified on Mon May 17 13:27:15 PDT 1993 by mjordan modified on Fri Dec 18 10:01:04 PST 1992 by owicki modified on Sat Jun 27 15:46:02 PDT 1992 by muller
INTERFACEIntfStubCode ; IMPORT Atom, Formatter, Type, AtomRefTbl, StubCode; PROCEDURE Header(t: Type.Object; intWr: Formatter.T; typeName: Atom.T; objName: Type.Qid; methods: StubCode.MethodList; lastNewMethod: INTEGER; imports: AtomRefTbl.T); END IntfStubCode.