<<>> <> <> <> <> <<>> <> <<>> DIRECTORY Rope; XlAuthFriends: CEDAR DEFINITIONS = BEGIN AuthentifierProc: TYPE = PROC [family: CARD16, adress: Rope.ROPE, display: Rope.ROPE ¬ NIL, proposedMethod: Rope.ROPE ¬ NIL] RETURNS [method, data: Rope.ROPE]; authentifier: VAR AuthentifierProc; END.