BatBool.Infixtype bat__infix_t = tval (+) : bat__infix_t -> bat__infix_t -> bat__infix_tval (-) : bat__infix_t -> bat__infix_t -> bat__infix_tval (*) : bat__infix_t -> bat__infix_t -> bat__infix_tval (/) : bat__infix_t -> bat__infix_t -> bat__infix_tval (**) : bat__infix_t -> bat__infix_t -> bat__infix_tval (--) : bat__infix_t -> bat__infix_t -> bat__infix_t BatEnum.tval (---) : bat__infix_t -> bat__infix_t -> bat__infix_t BatEnum.t