The part of a BuiltInFnInfo that the signature database already knows: the parameter names in order
(... included) with the ones R always forces, plus the properties listed in SigDbProps. Everything
else the database records (higher-order, deprecated, recursive, ...) has no counterpart here and is
dropped, and anything it cannot see (purity, resources, what an argument is used for) stays unset.
The part of a BuiltInFnInfo that the signature database already knows: the parameter names in order (
...included) with the ones R always forces, plus the properties listed in SigDbProps. Everything else the database records (higher-order,deprecated,recursive, ...) has no counterpart here and is dropped, and anything it cannot see (purity, resources, what an argument is used for) stays unset.