<> <> DIRECTORY AlpineEnvironment, AlpineP2202V1, AlpTransaction, CrRPC, XNSAuth; AlpInstanceCourier: CEDAR DEFINITIONS ~ BEGIN Instance: TYPE = REF InstanceObject; InstanceObject: TYPE = MONITORED RECORD [ courierHandle: CrRPC.Handle, authenticatedConversation: XNSAuth.Conversation, credentials: XNSAuth.Credentials, session: AlpineP2202V1.Session ]; TransWorkProc: TYPE = PROC [rpc: CrRPC.Handle, session: AlpineP2202V1.Session, transID: AlpineEnvironment.TransID]; DoTransWork: PROC [inst: Instance, transHandle: AlpTransaction.Handle, work: TransWorkProc]; END.