Skip to content
Snippets Groups Projects
Timo Koch's avatar
Timo Koch authored
Argument dependent lookup deduces the Dune namespace from
the function arguments that are also in namespace Dune.
d76ef6ca
History
Name Last commit Last update