You can search for identifiers within the package.
in-package search v0.2.0
type t
The type of domain elements.
val compare : t -> t -> int
A function defining a total ordering on the type t. compare x y must be negative if x is smaller than y, positive if x is greater than x, and zero if x and y are equal.
t
compare x y
x
y