# Module BatBounded.BoundedNumericType.Infix

    module Infix: BatNumber.Infix  with type bat__infix_t := base_t

    type 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

    val (--) : bat__infix_t ->
           bat__infix_t -> bat__infix_t BatEnum.t

    val (---) : bat__infix_t ->
           bat__infix_t -> bat__infix_t BatEnum.t