doc: clarify whether @time
allocations include compilation
#53992
Labels
domain:docs
This change adds or pertains to documentation
@time
saysIt's not obvious to me whether compilation allocations are included in "execution" (is that the same as "evaluation"?).
The text was updated successfully, but these errors were encountered: