Commit d9417f9a authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Missing `IntoForall` instance for later.

parent 2af5dfe1
Pipeline #4865 passed with stages
in 10 minutes and 48 seconds