# Module BatNum.TaggedInfix

    module TaggedInfix: sig .. end

    val (=/) : BatNum.num -> BatNum.num -> bool

    val (</) : BatNum.num -> BatNum.num -> bool

    val (>/) : BatNum.num -> BatNum.num -> bool

    val (<=/) : BatNum.num -> BatNum.num -> bool

    val (>=/) : BatNum.num -> BatNum.num -> bool

    val (<>/) : BatNum.num -> BatNum.num -> bool

    val (+/) : BatNum.num -> BatNum.num -> BatNum.num

    val (-/) : BatNum.num -> BatNum.num -> BatNum.num

    val ( */ ) : BatNum.num -> BatNum.num -> BatNum.num

    val (//) : BatNum.num -> BatNum.num -> BatNum.num

    val ( **/ ) : BatNum.num -> BatNum.num -> BatNum.num