Mentions légales du service

Skip to content

rename client/Client into client/Infer

We want to turn the client code into a Dune library called 'client', separated from test binaries. Without the rename, as reported by Olivier Martinot @O_Olivier, dune complains about conflicting names.

Edited by SCHERER Gabriel

Merge request reports