-
David Bühler authored
This module type simplifies the signature of functors using evaluation functions.
David Bühler authoredThis module type simplifies the signature of functors using evaluation functions.
This module type simplifies the signature of functors using evaluation functions.
This module type simplifies the signature of functors using evaluation functions.