Copyright (c) 2000 California Institute of Technology
All rights reserved. See the file COPYRIGHT for a full description.
$Id: ExtSection.i3.html,v 1.3 2010-04-29 17:18:48 wagner Exp $
INTERFACE ExtSection;
TYPE
T = {Pragma, Interface, Proc, Module};
PROCEDURE GetText(kind: CHAR; i: T): TEXT;
PROCEDURE Res(name: TEXT): TEXT;
END ExtSection.