Structure to represent the information about lifted functions.
The mandatory parameters are func
, numparam
, and restypid
. These parameters are used by function tfunc_temporal
, which applies the lifted function to every instant of the temporal value. The remaining parameters are used by functions tfunc_temporal_base
and sync_tfunc_temporal_temporal
that apply the lifted function to two base values.