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