sig
  type bat__infix_t = t
  val ( + ) : bat__infix_t -> bat__infix_t -> bat__infix_t
  val ( - ) : bat__infix_t -> bat__infix_t -> bat__infix_t
  val ( * ) : bat__infix_t -> bat__infix_t -> bat__infix_t
  val ( / ) : bat__infix_t -> bat__infix_t -> bat__infix_t
  val ( ** ) : bat__infix_t -> bat__infix_t -> bat__infix_t
  val ( -- ) : bat__infix_t -> bat__infix_t -> bat__infix_t BatEnum.t
  val ( --- ) : bat__infix_t -> bat__infix_t -> bat__infix_t BatEnum.t
end