let reverse_pr (z:var a) (x:var a) =
  let n =  lendim #x 
  in 
    for i<n do
      sub(z,i) := sub(x,n-i-1) 
    done
;;

let reverse = proc2fun reverse_pr identity ;;

(*

let revtest = reverse (fill {3:int_shape} with [1,2,3]) ;;

*)