`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`