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