sig type ('a, 'b) _result = ('a, 'b) Result.t = Ok of 'a | Error of 'b end