Source file `result.ml`

1
2
3
4
5
6
7
8
9
10
11
type error = ..

type nonrec 'a result = ('a, error list) result

exception StaTz_error of error list

let fail e = raise (StaTz_error e)

let ( >>= ) (m : 'a result) (f : 'a -> 'b result) : 'b result =
  match m with Error e -> Error e | Ok x -> f x
  [@@inline]