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