sig
  val compare : '-> '-> int
  val succ : int -> int
  val incr : int Pervasives.ref -> unit
  val min : '-> '-> 'a
  val max : '-> '-> 'a
  val min_int : int
  val max_int : int
end