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