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