-
Robbert Krebbers authored
Also change the definition of agreement slightly, so agree_map can be defined for any function, and not just non-expansive functions.
b1d4cb1d
Also change the definition of agreement slightly, so agree_map can be defined for any function, and not just non-expansive functions.