InbasketP18V2Aux.mesa

DIRECTORY

InbasketP18V2;

InbasketP18V2Aux: CEDAR DEFINITIONS ~ {

OPEN InbasketP18V2;

ExposeAccessProblem: PROC [arg: AccessProblem, level: NAT] RETURNS [res: ROPE];

ExposeServiceProblem: PROC [arg: ServiceProblem, level: NAT] RETURNS [res: ROPE];

ExposeTwo: PROC [arg: Two, level: NAT] RETURNS [res: ROPE];

ExposeSessionProblem: PROC [arg: SessionProblem, level: NAT] RETURNS [res: ROPE];

ExposeStatus: PROC [arg: Status, level: NAT] RETURNS [res: ROPE];

ExposeIndexProblem: PROC [arg: IndexProblem, level: NAT] RETURNS [res: ROPE];

ExposeSession: PROC [arg: Session, level: NAT] RETURNS [res: ROPE];

ExposeBodyPartSequence: PROC [arg: BodyPartSequence, level: NAT] RETURNS [res: ROPE];

ExposeOtherProblem: PROC [arg: OtherProblem, level: NAT] RETURNS [res: ROPE];

ExposeAnchor: PROC [arg: Anchor, level: NAT] RETURNS [res: ROPE];

ExposeBodyPartsStatus: PROC [arg: BodyPartsStatus, level: NAT] RETURNS [res: ROPE];

ExposeExist: PROC [arg: Exist, level: NAT] RETURNS [res: ROPE];

ExposeRange: PROC [arg: Range, level: NAT] RETURNS [res: ROPE];

ExposeDel: PROC [arg: Del, level: NAT] RETURNS [res: ROPE];

ExposeMessageStatus: PROC [arg: MessageStatus, level: NAT] RETURNS [res: ROPE];

ExposeState: PROC [arg: State, level: NAT] RETURNS [res: ROPE];

ExposeTransferProblem: PROC [arg: TransferProblem, level: NAT] RETURNS [res: ROPE];

ExposeBodyPartStatusChange: PROC [arg: BodyPartStatusChange, level: NAT] RETURNS [res: ROPE];

ExposeWhichOne: PROC [arg: WhichOne, level: NAT] RETURNS [res: ROPE];

ExposeBodyPartStatusChangeSequence: PROC [arg: BodyPartStatusChangeSequence, level: NAT] RETURNS [res: ROPE];

}...