You can search for identifiers within the package.
in-package search v0.2.0
type t
a partially ordered type
val order : t -> t -> partial
defines a partial order relationship between two entities.
Given a partial ordering relation <=
<=
order x y = LT iff x <= y && not (y <= x)
order x y = GT iff y <= x && not (x <= y)
order x y = EQ iff x <= y && y <= x
order x y = NC iff not (x <= y) && not (y <= x)