sig
  type t = [ `cancel_with_block | `reduce_non_block | `reduce_with_block ]
  val __t_of_sexp__ : Sexplib.Sexp.t -> Raw_order.Oca_type.t
  val t_of_sexp : Sexplib.Sexp.t -> Raw_order.Oca_type.t
  val sexp_of_t : Raw_order.Oca_type.t -> Sexplib.Sexp.t
  val tws_of_t :
    [< `cancel_with_block | `reduce_non_block | `reduce_with_block ] ->
    string
  val t_of_tws :
    string ->
    [> `cancel_with_block | `reduce_non_block | `reduce_with_block ]
  val val_type :
    [ `cancel_with_block | `reduce_non_block | `reduce_with_block ]
    Tws_prot.Val_type.t
end