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. An unset bit reads as "nothing says so", never as "no".
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. An unset bit reads as "nothing says so", never as "no".