Copyright © 1985 by Xerox Corporation. All rights reserved.

last edit by Satterthwaite, May 28, 1986 11:23:56 am PDT

Rope: TYPE USING [ROPE],

SMTree: TYPE Tree USING [Link],

SMTreeOps: TYPE TreeOps USING [TM],

TimeStamp: TYPE USING [Stamp];

OPEN Tree~~SMTree, TreeOps~~SMTreeOps;

TM: TYPE~RECORD[TreeOps.TM];  -- to allow object notation in clients

MkString: PROC[tm: TM, text: Rope.ROPE] RETURNS[Tree.Link];

MkStringType: PROC[tm: TM] RETURNS[Tree.Link];

MkControlType: PROC[tm: TM] RETURNS[Tree.Link];

MkInterfaceType: PROC[tm: TM, id: ATOM←NIL] RETURNS[Tree.Link];

MkStampType: PROC[tm: TM, stamp: TimeStamp.Stamp] RETURNS[Tree.Link];

MkPair: PROC[tm: TM, type1, type2: Tree.Link] RETURNS[Tree.Link];

MkCross: PROC[tm: TM, typeList: LIST OF Tree.Link] RETURNS[Tree.Link];

MkCross2: PROC[tm: TM, decl, type: Tree.Link] RETURNS[Tree.Link];

MkCrossReverse: PROC[tm: TM, typeList: LIST OF Tree.Link] RETURNS[Tree.Link];

MkDeclElem: PROC[tm: TM, id: ATOM, type: Tree.Link] RETURNS[Tree.Link];

MkUnitDecl: PROC[tm: TM, elem: Tree.Link] RETURNS[Tree.Link];

MkDecl: PROC[tm: TM, elemList: LIST OF Tree.Link] RETURNS[Tree.Link];

MkDeclReverse: PROC[tm: TM, elemList: LIST OF Tree.Link] RETURNS[Tree.Link];

MkArrow: PROC[tm: TM, domain, range: Tree.Link] RETURNS[Tree.Link];

MkArrow2: PROC[tm: TM, domain, range: Tree.Link] RETURNS[Tree.Link];

Domain: PROC[tm: TM, arrow: Tree.Link] RETURNS[Tree.Link];

Range: PROC[tm: TM, arrow: Tree.Link] RETURNS[Tree.Link];

GroupToDecl: PROC[tm: TM, group: Tree.Link, pattern: LIST OF ATOM←NIL]

PushLink: PROC[tm: TM, link: Tree.Link];

PopLink: PROC[tm: TM] RETURNS[Tree.Link];

}.