Module type BatNumber.Numeric

module type Numeric = sig .. end

type t 

val zero : t

val one : t

val neg : t -> t

val abs : t -> t

val add : t -> t -> t

val sub : t -> t -> t

val mul : t -> t -> t

val div : t -> t -> t

val modulo : t -> t -> t

val pow : t -> t -> t

val compare : t -> t -> int

val equal : t -> t -> bool

val ord : t BatOrd.ord

val of_int : int -> t

val to_int : t -> int

val of_float : float -> t

val to_float : t -> float

val of_string : string -> t

val to_string : t -> string

val operations : t BatNumber.numeric

type discrete = t 

val succ : t -> t

val pred : t -> t

module Infix: BatNumber.Infix  with type bat__infix_t = t

module Compare: BatNumber.Compare  with type bat__compare_t = t

include BatNumber.Numeric.Infix

include BatNumber.RefOps