Skip to main content

🎫 Ticket_costs.v

Translated OCaml

Gitlab , OCaml

File generated by coq-of-ocaml
Reusing the gas model from [Michelson_v1_gas.Cost_of.neg] Approximating 0.066076 x term
Reusing the gas model from [Michelson_v1_gas.Cost_of.add]
Reusing the gas model from [Michelson_v1_gas.Cost_of.add]