`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 val ( =/ ) : BatNum.num -> BatNum.num -> bool val ( </ ) : BatNum.num -> BatNum.num -> bool val ( >/ ) : BatNum.num -> BatNum.num -> bool val ( <=/ ) : BatNum.num -> BatNum.num -> bool val ( >=/ ) : BatNum.num -> BatNum.num -> bool val ( <>/ ) : BatNum.num -> BatNum.num -> bool val ( +/ ) : BatNum.num -> BatNum.num -> BatNum.num val ( -/ ) : BatNum.num -> BatNum.num -> BatNum.num val ( */ ) : BatNum.num -> BatNum.num -> BatNum.num val ( // ) : BatNum.num -> BatNum.num -> BatNum.num val ( **/ ) : BatNum.num -> BatNum.num -> BatNum.num end`