🍃 Operation_list_list_hash.v

Environment

See proofs, Gitlab

Require Import CoqOfOCaml.CoqOfOCaml.
Require Import CoqOfOCaml.Settings.

Require TezosOfOCaml.Environment.Structs.V0.Operation_list_list_hash.

Include Operation_list_list_hash.