-
Robbert Krebbers authored
Also, give all these global functors the suffix GF to avoid shadowing such as we had with authF. And add some type annotations for clarity.
e0d0f8dd
Also, give all these global functors the suffix GF to avoid shadowing such as we had with authF. And add some type annotations for clarity.