functor (Base : NUMERIC_BASE->
  sig
    type bat__infix_t = Base.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
  end