Farey (euler.Euler.Farey)

type t = int * int

val sym : t -> t

val assert_adjacent_fractions : int -> t -> t -> unit

val iter_farey : int -> ?starting1:t -> ?starting2:t -> (t -> unit) -> unit

val next_farey : int -> t -> t

val prev_farey : int -> t -> t

val rev_iter_farey : int -> ?starting1:t -> ?starting2:t -> (t -> unit) -> unit

val list_farey : int -> t list