Source file isolation.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
type t =
  | Serializable
  | Repeatable_read
  | Read_committed
  | Read_uncommitted
[@@deriving sexp]

let to_string = function
  | Serializable -> "serializable"
  | Repeatable_read -> "repeatable read"
  | Read_committed -> "read committed"
  | Read_uncommitted -> "read uncommitted"
;;