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