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