<> <> <> <> 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]; }...