let declare comp _ =
         Function ([t_data],Record comp)