Result.ml1 2 3 4 5 6 7 8 9 10 11type ('error, 'value) t = | Error of 'error | Value of 'value let error msg = Error msg let value value = Value value let map f result = match result with | Error error -> Error error | Value value -> Value (f value)