type
outcome
(
α
, 
β
)
=
Variant
  •    
    { 
    α
     
    success
     }
  • or 
    { 
    β
     
    failure
     }
Type outcome('a, 'b) is a type allowing to encode a result
being either a success of type
'a ({success='a}) or a
failure, with additional information of type
'b ({failure='b}).

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.