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