type t = | Plus| PPlus| Minus| PMinus| Times| Divide| IntDivide| Modulo| LDivide| EltTimes| EltDivide| Pow| EltPow| Or| And| Equals| NEquals| Less| Leq| Greater| Geq| PNot| Transpose
val t_of_sexp : Sexplib0.Sexp.t -> tval sexp_of_t : t -> Sexplib0.Sexp.tval pp : Stdlib.Format.formatter -> t -> unitval to_string : t -> string