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