<> <> <> <<>> <> <<>> DIRECTORY YggEnvironment USING [TransID], YggTransactionMap USING [TransHandle]; YggTransContext: CEDAR DEFINITIONS ~ BEGIN <> EstablishTransactionContext: PROCEDURE [transID: YggEnvironment.TransID, work: TransactionWork]; <> <> <<>> TransactionWork: TYPE = PROCEDURE [trans: YggTransactionMap.TransHandle]; END.