sig   val exactly : int -> 'a list -> bool   val any : 'a -> bool   val min : int -> 'a list -> bool   val max : int -> 'a list -> bool end