let declare arr _ =
         Function ([Array arr],t_data)