<> <> <> <> DIRECTORY; SaffronTreeBucketDef: CEDAR DEFINITIONS = BEGIN fooProcType: TYPE = PROC[REF ANY] RETURNS[INT]; END..