outcome
(
τ
, 
η
)
map_outcome (
outcome
(
σ
, 
ζ
)
 
outcome
, 
(
σ
τ
)
 
sfn
, 
(
ζ
η
)
 
ffn)
Map either a success function or a failure function over an outcome *

Comments

The browser you use is not supported by this application, probably because it lacks some critical features.
For a better experience, please consider using this application with a supported browser.