Module Grpc_spec.Value_mode