Module Mpa.Q

module Q: sig  end

val negone : t

val zero : t

val one : t

val two : t

val is_zero : t -> bool

val is_one : t -> bool

val is_negone : t -> bool

val is_pos : t -> bool

val is_neg : t -> bool

val is_nonneg : t -> bool

val is_nonpos : t -> bool

val of_int : int -> t

val of_ints : int -> int -> t

val min : t -> t -> t

val max : t -> t -> t

val add : t -> t -> t

val sub : t -> t -> t

val minus : t -> t

val mult : t -> t -> t

val div : t -> t -> t

val inv : t -> t

val expt : t -> int -> t

val abs : t -> t

val floor : t -> Mpa.Z.t

val ceil : t -> Mpa.Z.t

val frac : t -> t

val def : t -> t

val compare : t -> t -> int

val equal : t -> t -> bool

val lt : t -> t -> bool

val le : t -> t -> bool

val gt : t -> t -> bool

val ge : t -> t -> bool

val cmp : t -> t -> cmp

val denominator : t -> Mpa.Z.t

val numerator : t -> Mpa.Z.t

val is_integer : t -> bool

val to_z : t -> Mpa.Z.t

val of_z : Mpa.Z.t -> t

val hash : t -> int

val to_string : t -> string

exception ZeroDivision

val of_string : string -> t

val pp : Format.formatter -> t -> unit

module Hash: sig  end