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