Ratio (sexplib.num.Sexplib

include Ratio

type ratio = Ratio.ratio

val null_denominator : ratio ‑> bool

val numerator_ratio : ratio ‑> Big_int.big_int

val denominator_ratio : ratio ‑> Big_int.big_int

val sign_ratio : ratio ‑> int

val normalize_ratio : ratio ‑> ratio

val cautious_normalize_ratio : ratio ‑> ratio

val cautious_normalize_ratio_when_printing : ratio ‑> ratio

val create_ratio : Big_int.big_int ‑> Big_int.big_int ‑> ratio

val create_normalized_ratio : Big_int.big_int ‑> Big_int.big_int ‑> ratio

val is_normalized_ratio : ratio ‑> bool

val report_sign_ratio : ratio ‑> Big_int.big_int ‑> Big_int.big_int

val abs_ratio : ratio ‑> ratio

val is_integer_ratio : ratio ‑> bool

val add_ratio : ratio ‑> ratio ‑> ratio

val minus_ratio : ratio ‑> ratio

val add_int_ratio : int ‑> ratio ‑> ratio

val add_big_int_ratio : Big_int.big_int ‑> ratio ‑> ratio

val sub_ratio : ratio ‑> ratio ‑> ratio

val mult_ratio : ratio ‑> ratio ‑> ratio

val mult_int_ratio : int ‑> ratio ‑> ratio

val mult_big_int_ratio : Big_int.big_int ‑> ratio ‑> ratio

val square_ratio : ratio ‑> ratio

val inverse_ratio : ratio ‑> ratio

val div_ratio : ratio ‑> ratio ‑> ratio

val integer_ratio : ratio ‑> Big_int.big_int

val floor_ratio : ratio ‑> Big_int.big_int

val round_ratio : ratio ‑> Big_int.big_int

val ceiling_ratio : ratio ‑> Big_int.big_int

val eq_ratio : ratio ‑> ratio ‑> bool

val compare_ratio : ratio ‑> ratio ‑> int

val lt_ratio : ratio ‑> ratio ‑> bool

val le_ratio : ratio ‑> ratio ‑> bool

val gt_ratio : ratio ‑> ratio ‑> bool

val ge_ratio : ratio ‑> ratio ‑> bool

val max_ratio : ratio ‑> ratio ‑> ratio

val min_ratio : ratio ‑> ratio ‑> ratio

val eq_big_int_ratio : Big_int.big_int ‑> ratio ‑> bool

val compare_big_int_ratio : Big_int.big_int ‑> ratio ‑> int

val lt_big_int_ratio : Big_int.big_int ‑> ratio ‑> bool

val le_big_int_ratio : Big_int.big_int ‑> ratio ‑> bool

val gt_big_int_ratio : Big_int.big_int ‑> ratio ‑> bool

val ge_big_int_ratio : Big_int.big_int ‑> ratio ‑> bool

val int_of_ratio : ratio ‑> int

val ratio_of_int : int ‑> ratio

val ratio_of_nat : Nat.nat ‑> ratio

val nat_of_ratio : ratio ‑> Nat.nat

val ratio_of_big_int : Big_int.big_int ‑> ratio

val big_int_of_ratio : ratio ‑> Big_int.big_int

val div_int_ratio : int ‑> ratio ‑> ratio

val div_ratio_int : ratio ‑> int ‑> ratio

val div_big_int_ratio : Big_int.big_int ‑> ratio ‑> ratio

val div_ratio_big_int : ratio ‑> Big_int.big_int ‑> ratio

val approx_ratio_fix : int ‑> ratio ‑> string

val approx_ratio_exp : int ‑> ratio ‑> string

val float_of_rational_string : ratio ‑> string

val string_of_ratio : ratio ‑> string

val ratio_of_string : string ‑> ratio

val float_of_ratio : ratio ‑> float

val power_ratio_positive_int : ratio ‑> int ‑> ratio

val power_ratio_positive_big_int : ratio ‑> Big_int.big_int ‑> ratio