🐆 Tx_rollup_level_repr.v
Translated OCaml
File generated by coq-of-ocaml
Require Import CoqOfOCaml.CoqOfOCaml.
Require Import CoqOfOCaml.Settings.
Require TezosOfOCaml.Proto_alpha.Raw_level_repr.
Include Raw_level_repr.
Definition level : Set := t.
Require Import CoqOfOCaml.Settings.
Require TezosOfOCaml.Proto_alpha.Raw_level_repr.
Include Raw_level_repr.
Definition level : Set := t.