Source file interval__Bound.ml

1
2
3
4
5
6
7
8
type t =
  | Strict
  | Large

let inv_bound (x: t) : t = match x with
                           | Large -> Strict
                           | Strict -> Large