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