package tezos-protocol-alpha
This module re-exports definitions from Zk_rollup_account_repr.
module SMap : Tezos_protocol_environment_alpha.Map.S with type key = stringtype static = {public_parameters : Tezos_protocol_environment_alpha.Plonk.public_parameters;state_length : int;circuits_info : [ `Public | `Private | `Fee ] SMap.t;nb_ops : int;
}type dynamic = {state : State.t;paid_l2_operations_storage_space : Tezos_protocol_environment_alpha.Z.t;used_l2_operations_storage_space : Tezos_protocol_environment_alpha.Z.t;
}val encoding : t Tezos_protocol_environment_alpha.Data_encoding.tval circuits_info_encoding :
[ `Public | `Private | `Fee ] SMap.t
Tezos_protocol_environment_alpha.Data_encoding.t