Convenience versions of BatBounded functions

convenience.ml

let saturate_of_ord ~(bounds : 'a bound_t * 'a bound_t) ord =
  match bounds with
  | `o l, `o h
  | `c l, `c h
  | `o l, `c h
  | `c l, `o h ->
      bounding_of_ord ~default_low:l ~default_high:h ord ~bounds
      |- BatOption.get
  | `u, `o h
  | `u, `c h ->
      bounding_of_ord ~default_high:h ord ~bounds
      |- BatOption.get
  | `o l, `u
  | `c l, `u ->
      bounding_of_ord ~default_low:l ord ~bounds
      |- BatOption.get
  | `u, `u ->
      bounding_of_ord ord ~bounds
      |- BatOption.get

let opt_of_ord ~(bounds : 'a bound_t * 'a bound_t) ord =
  bounding_of_ord ord ~bounds