You can search for identifiers within the package.
in-package search v0.2.0
Q is a comparison module for Zarith rationals.
Q
type t = Q.t
val (=) : t -> t -> bool
x = y iff compare x y = 0
x = y
compare x y = 0
val (<>) : t -> t -> bool
x <> y iff compare x y <> 0
x <> y
compare x y <> 0
val (<) : t -> t -> bool
x < y iff compare x y < 0
x < y
compare x y < 0
val (<=) : t -> t -> bool
x <= y iff compare x y <= 0
x <= y
compare x y <= 0
val (>=) : t -> t -> bool
x >= y iff compare x y >= 0
x >= y
compare x y >= 0
val (>) : t -> t -> bool
x > y iff compare x y > 0
x > y
compare x y > 0
val compare : t -> t -> int
compare an alias for the functor parameter's compare function
compare
val equal : t -> t -> bool
equal x y iff compare x y = 0
equal x y
val max : t -> t -> t
max x y is x if x >= y otherwise it is y
max x y
x
y
val min : t -> t -> t
min x y is x if x <= y otherwise it is y
min x y