Generic functions for lifting functions and operators on temporal types.
Structure to represent the information about lifted functions
The mandatory parameters are func
, numparam
, and restype
. 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 tfunc_temporal_temporal
that apply the lifted function to two base values.