`Hint Mode` for `QuoteLookup` and `Quote`
Would it be beneficial to have Hint Mode
annotations for input and output parameters?
https://gitlab.mpi-sws.org/iris/stdpp/blob/master/theories/list.v#L4049
Would it be beneficial to have Hint Mode
annotations for input and output parameters?
https://gitlab.mpi-sws.org/iris/stdpp/blob/master/theories/list.v#L4049