<> <> <> <<>> DIRECTORY Rope USING [ROPE], ISBinding USING [Anchor], ISNode USING [Handle, InternalizeProc, TiogaPrintProc], ISToken USING [TVHandle]; ISTiogaIntern: CEDAR DEFINITIONS ~ BEGIN localBindingLimit: ISBinding.Anchor; DefaultInternalizeProc: ISNode.InternalizeProc; InternalizeDocument: ISNode.InternalizeProc; InternalizePara: ISNode.InternalizeProc; InternalizeChars: ISNode.InternalizeProc; InternalizeStyle: ISNode.InternalizeProc; InternalizeProperties: ISNode.InternalizeProc; InternalizeLooks: ISNode.InternalizeProc; DefaultPrintProc: ISNode.TiogaPrintProc; PrintPara: ISNode.TiogaPrintProc; PrintChars: ISNode.TiogaPrintProc; <> <> PrintToken: PROC [t: ISToken.TVHandle] RETURNS [r: Rope.ROPE]; PrintNodeContents: PROC [n: ISNode.Handle, wrap: BOOL_TRUE] RETURNS [r: Rope.ROPE]; END.