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