This stub file allows us to annotate view functions using the actual types present in the bodies of the functions, rather than everything having the type REQ.
Reid Barton