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