better overloading inference #3500

Job	Run time
EasyCrypt compilation (nix)	1m 29s
Fetch EasyCrypt External Projects Matrix	4s
EasyCrypt compilation (opam)	1m 19s
Check EasyCrypt Libraries (unit)	1m 22s
Check EasyCrypt Libraries (stdlib)	5m 2s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 55s
Check EasyCrypt Libraries (examples)	3m 6s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 7s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 20s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 45s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 51s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	6m 44s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	21m 15s
Check EasyCrypt External Projects (set-status)	1s
Notification	3s
	1h 6m 23s

Provide feedback