The entry point of this library is the module: Tezos_benchmarks_proto_025_PsUshuai.
Tezos_benchmarks_proto_025_PsUshuai