Skip to content

Make functors a `Record` instead of a `Structure`.

Robbert Krebbers requested to merge robbert/functor_record into master

We never make canonical instances of them.

Merge request reports