[ProVerif] Translate generic types

[jschneider-bensch]

In the following snippet, the ProVerif backend will not emit type declarations for the generic type T.

trait Rng {}

fn f<T: Rng>(rng: &mut T) {
    hax_lib::proverif!("$:{T}");
}

https://hax-playground.cryspen.com/#pro-verif/latest-main/gist=94e5cc836642b4eb90274eafde793b57

[github-actions[bot]]

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

[maximebuyse]

@jschneider-bensch can you have a look if this is still relevant?

[github-actions[bot]]

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

[clementblaudeau]

Closed as unsupported for now, might be reopened in the future if needed.