| rand | LambdaUC.Syntax.PrAlgo, LambdaUC.Syntax |
| RandAction | LambdaUC.Syntax.PrAlgo, LambdaUC.Syntax |
| rangeDist | LambdaUC.Syntax.PrAlgo, LambdaUC.Syntax |
| realToMultSid | LambdaUC.UC.Shell |
| RecvAction | LambdaUC.Syntax.Async, LambdaUC.Syntax |
| recvAny | LambdaUC.Syntax.Async, LambdaUC.Syntax |
| recvOne | LambdaUC.Syntax.Async, LambdaUC.Syntax |
| recvOneEx | LambdaUC.Syntax.Async, LambdaUC.Syntax |
| RecvRes | LambdaUC.Syntax.Async, LambdaUC.Syntax |
| Refl | LambdaUC.Types |
| RespErr | LambdaUC.Games.UCSignatureScheme |
| RespError | LambdaUC.Games.SymEncryption |
| RespKGen | LambdaUC.Games.UCSignatureScheme |
| RespSign | LambdaUC.Games.UCSignatureScheme |
| RespVer | LambdaUC.Games.UCSignatureScheme |
| RrHalt | LambdaUC.Syntax.Async, LambdaUC.Syntax |
| RrRecv | LambdaUC.Syntax.Async, LambdaUC.Syntax |
| runActiveCorrWithErasures | LambdaUC.UC.Shell |
| runAlgo | LambdaUC.Syntax.PrAlgo, LambdaUC.Syntax |
| runExec | LambdaUC.Syntax.Async.Eval |
| runExecAsync | LambdaUC.Syntax.Async.Eval |
| runExecBuilder | LambdaUC.Syntax.Async.Eval |
| runInterT | LambdaUC.Syntax.Async, LambdaUC.Syntax |
| runIO | LambdaUC.Syntax.PrAlgo, LambdaUC.Syntax |
| runOracleWrapper | LambdaUC.Syntax.Sync.Eval |
| runSingleSigIdeal' | LambdaUC.UC.Flatten |
| runSingleSigReal' | LambdaUC.UC.Flatten |
| runSyncT | LambdaUC.Syntax.Sync |
| runTillCall | LambdaUC.Syntax.Sync |
| runTillRecv | LambdaUC.Syntax.Async, LambdaUC.Syntax |
| runTillSend | LambdaUC.Syntax.Async, LambdaUC.Syntax |
| runWithOracles | LambdaUC.Syntax.Sync.Eval |
| runWithOracles1 | LambdaUC.Syntax.Sync.Eval |
| runWithOracles2 | LambdaUC.Syntax.Sync.Eval |
| runXAccum | Control.XMonad.XAccum |