Tezos_raw_protocol_021_PsQuebec.Operation_costs
val check_signature_cost : Michelson_v1_gas.Cost_of.Interpreter.algo -> _ Alpha_context.operation -> Alpha_context.Gas.cost