Copyright (C) 1986 by Xerox Corporation. All rights reserved.

Generated by Demers.pa at January 6, 1987 4:10:36 pm PST

using Sirocco [2.0] of January 6, 1987 4:07:33 pm PST

AuthenticationP14V2;

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