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