What each of the definitions does, stated the way a built-in states it: CallProp bits for the function (PropagatedProps bits its callees carry over included) and ArgProp bits per formal, Forced/Lazy included.
definitions
Forced
Lazy
FunctionSemantics.props
What each of the
definitionsdoes, stated the way a built-in states it: CallProp bits for the function (PropagatedProps bits its callees carry over included) and ArgProp bits per formal,Forced/Lazyincluded.