<<>> <> <> <> <> DIRECTORY CHACLOpsP127V1; CHACLOpsP127V1Aux: CEDAR DEFINITIONS ~ { OPEN CHACLOpsP127V1; ExposeAccessList: PROC [arg: AccessList, level: NAT] RETURNS [res: ROPE]; }...