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