module Infix:BatNumber.Infixwith type bat__infix_t := base_t
type bat__infix_t
val (+) : 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