<> <> DIRECTORY RTBasic USING [TV, Type] ; AMExtras: CEDAR DEFINITIONS = BEGIN OPEN RTBasic; IsARefType: PROC [type: Type] RETURNS[BOOL]; <> IsOfTypeT: PROC [tv: TV, T: Type] RETURNS[BOOL]; <> Cons: PROC[element: TV -- of type T--, list: TV -- LIST OF T --] RETURNS[TV -- LIST OF T --]; <> <> List: PROC[listType: Type -- LIST OF T -- , first, second, third, fourth: TV _ NIL] RETURNS[TV]; <> <> << >> END. -- AMExtras