val sigma : ('a -> int) -> 'a array -> int -> int -> int