val qsort : 'a array -> unit val merge : 'a array -> unit val heap : 'a array -> unit