Data.Pubkey
val pubkey_key : string list
val default : Tezos_protocol_environment_000_Ps9mPmXa.Signature.Public_key.t
val get_pubkey : Tezos_protocol_environment_000_Ps9mPmXa.Context.t -> Tezos_protocol_environment_000_Ps9mPmXa.Signature.Public_key.t Tezos_protocol_environment_000_Ps9mPmXa.Lwt.t
val set_pubkey : Tezos_protocol_environment_000_Ps9mPmXa.Context.t -> Tezos_protocol_environment_000_Ps9mPmXa.Signature.Public_key.t -> Tezos_protocol_environment_000_Ps9mPmXa.Context.t Tezos_protocol_environment_000_Ps9mPmXa.Lwt.t
val sandbox_encoding : (Tezos_protocol_environment_000_Ps9mPmXa.Signature.Public_key.t * unit) Tezos_protocol_environment_000_Ps9mPmXa.Data_encoding.encoding
val may_change_default : Tezos_protocol_environment_000_Ps9mPmXa.Context.t -> Tezos_protocol_environment_000_Ps9mPmXa.Data_encoding.json -> Tezos_protocol_environment_000_Ps9mPmXa.Context.t Tezos_protocol_environment_000_Ps9mPmXa.Lwt.t