piqilib
type t = int
val compare : 'a -> 'a -> int