You can search for identifiers within the package.
in-package search v0.2.0
baby
Baby.OrderedType
The signature Baby.OrderedType describes a type equipped with a total ordering function.
type t
The type of the set elements.
val compare : t -> t -> int
A total ordering function over values of type t. compare x1 x2 must be zero if x1 and x2 are equal. It must be strictly negative if x1 is smaller than x2. It must be strictly positive if x1 is greater than x2.
t
compare x1 x2
x1
x2