Better operator overloading inference #3576

Job	Run time
Fetch EasyCrypt External Projects Matrix	4s
EasyCrypt compilation (opam)	1m 13s
EasyCrypt compilation (nix)	1m 23s
Check EasyCrypt Libraries (unit)	1m 14s
Check EasyCrypt Libraries (stdlib)	5m 11s
Check EasyCrypt Libraries (examples)	3m 7s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 54s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 5s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 24s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 40s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 57s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	6m 53s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	21m 8s
Check EasyCrypt External Projects (set-status)	3s
Notification	5s
	1h 6m 21s

Provide feedback