<<>> <> <> <> <> <<>> DIRECTORY CirioTypes USING [CompilerContext, Type]; DeferringTypes: CEDAR DEFINITIONS = BEGIN CC: TYPE = CirioTypes.CompilerContext; Type: TYPE = CirioTypes.Type; CreateDeferringType: PROC [cc: CC] RETURNS [Type]; <> <> <> SetUndertype: PROC [deferring, under: Type]; <> GetUndertype: PROC [deferring: Type] RETURNS [Type]; IsDeferring: PROC [Type] RETURNS [BOOL]; UndertypeStar: PROC [deferring: Type] RETURNS [Type]; <> END.