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