return
Answer the type of the result that will be produced by a call site with the given argument types. Don't include semantic restrictions defined in the Avail code, but if convenient answer something stronger than the return type in the primitive's basic function type.
Return
The return type guaranteed by the VM at some call site.
Parameters
raw
The A_RawFunction being invoked.