DIRECTORY AuthenticationP14V2; AuthenticationP14V2Aux: CEDAR DEFINITIONS ~ { OPEN AuthenticationP14V2; ExposeSeqWords: PROC [arg: SeqWords, level: NAT] RETURNS [res: ROPE]; ExposeBlock: PROC [arg: Block, level: NAT] RETURNS [res: ROPE]; ExposeCredentialsPackage: PROC [arg: CredentialsPackage, level: NAT] RETURNS [res: ROPE]; ExposeStrongVerifier: PROC [arg: StrongVerifier, level: NAT] RETURNS [res: ROPE]; ExposeCredentialsType: PROC [arg: CredentialsType, level: NAT] RETURNS [res: ROPE]; ExposeCallProblem: PROC [arg: CallProblem, level: NAT] RETURNS [res: ROPE]; ExposeStrongCredentials: PROC [arg: StrongCredentials, level: NAT] RETURNS [res: ROPE]; ExposeWhich: PROC [arg: Which, level: NAT] RETURNS [res: ROPE]; ExposeCredentials: PROC [arg: Credentials, level: NAT] RETURNS [res: ROPE]; ExposeProblem: PROC [arg: Problem, level: NAT] RETURNS [res: ROPE]; }... Ψ AuthenticationP14V2Aux.Mesa Copyright Σ 1986, 1991 by Xerox Corporation. All rights reserved. Generated by Demers.pa at January 15, 1987 10:39:25 pm PST using Sirocco [2.0] of January 6, 1987 4:07:33 pm PST Κ·•NewlineDelimiter –(cedarcode) style™šœ™Jšœ Οeœ6™BJšœ:™:Jšœ5™5Icode˜—šΟk ˜ K˜—K˜šΟnœžœž œ˜-Kšžœ˜K˜Kš Ÿœžœžœžœžœ˜EK˜Kš Ÿ œžœžœžœžœ˜?K˜Kš Ÿœžœ"žœžœžœ˜YK˜Kš Ÿœžœžœžœžœ˜QK˜Kš Ÿœžœžœžœžœ˜SK˜Kš Ÿœžœžœžœžœ˜KK˜Kš Ÿœžœ!žœžœžœ˜WK˜Kš Ÿ œžœžœžœžœ˜?K˜Kš Ÿœžœžœžœžœ˜KK˜Kš Ÿ œžœžœžœžœ˜CK˜—K˜K˜—…—t