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