sig val set : 'a array -> int -> 'a -> unit end