sig type ('ok, 'err) _result = ('ok, 'err) Result.t = Ok of 'ok | Error of 'err val is_ok : ('a, 'b) Result.t -> bool val is_error : ('a, 'b) Result.t -> bool end