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