[cryptolib] generalize PRF definitions, PRP<->PRF #5433

Job	Run time
Fetch EasyCrypt External Projects Matrix	6s
EasyCrypt compilation (nix)	1m 45s
Build Docker images	6m 23s
EasyCrypt compilation (opam)	2m 54s
Check EasyCrypt Libraries (examples)	7m 7s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	3m 14s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	2m 50s
Check EasyCrypt External Projects (sphincsplus, https://github.com/formosa-crypto/formosa-slhdsa,...	23m 58s
Check EasyCrypt External Projects (xmss-security, https://github.com/formosa-crypto/formosa-xmss,...	11m 33s
Check EasyCrypt Libraries (stdlib)	5m 59s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...	2m 40s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	3m 59s
Check EasyCrypt Libraries (unit)	4m 0s
Check EasyCrypt External Projects (set-status)	2s
Publish Docker images	0s
Notification	0s
	1h 16m 30s

Navigation Menu