Module Tezos_raw_protocol_002_PsYLVpVv.Fitness_repr