tezos-protocol-006-PsCARTHA 20.1

val list : 
  'a Tezos_protocol_environment_006_PsCARTHA.RPC_context.simple ->
  'a ->
  ?active:bool ->
  ?inactive:bool ->
  unit ->
  Tezos_protocol_environment_006_PsCARTHA.Signature.Public_key_hash.t list
    Tezos_protocol_environment_006_PsCARTHA.Error_monad.shell_tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

type info = {

balance : Alpha_context.Tez.t;
frozen_balance : Alpha_context.Tez.t;
frozen_balance_by_cycle : Alpha_context.Delegate.frozen_balance Alpha_context.Cycle.Map.t;
staking_balance : Alpha_context.Tez.t;
delegated_contracts : Contract_repr.t list;
delegated_balance : Alpha_context.Tez.t;
deactivated : bool;
grace_period : Alpha_context.Cycle.t;

}

val info_encoding : 
  info Tezos_protocol_environment_006_PsCARTHA.Data_encoding.t

val info : 
  'a Tezos_protocol_environment_006_PsCARTHA.RPC_context.simple ->
  'a ->
  Tezos_protocol_environment_006_PsCARTHA.Signature.Public_key_hash.t ->
  info Tezos_protocol_environment_006_PsCARTHA.Error_monad.shell_tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

val balance : 
  'a Tezos_protocol_environment_006_PsCARTHA.RPC_context.simple ->
  'a ->
  Tezos_protocol_environment_006_PsCARTHA.Signature.Public_key_hash.t ->
  Alpha_context.Tez.t
    Tezos_protocol_environment_006_PsCARTHA.Error_monad.shell_tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

val frozen_balance : 
  'a Tezos_protocol_environment_006_PsCARTHA.RPC_context.simple ->
  'a ->
  Tezos_protocol_environment_006_PsCARTHA.Signature.Public_key_hash.t ->
  Alpha_context.Tez.t
    Tezos_protocol_environment_006_PsCARTHA.Error_monad.shell_tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

val frozen_balance_by_cycle : 
  'a Tezos_protocol_environment_006_PsCARTHA.RPC_context.simple ->
  'a ->
  Tezos_protocol_environment_006_PsCARTHA.Signature.Public_key_hash.t ->
  Alpha_context.Delegate.frozen_balance Alpha_context.Cycle.Map.t
    Tezos_protocol_environment_006_PsCARTHA.Error_monad.shell_tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

val staking_balance : 
  'a Tezos_protocol_environment_006_PsCARTHA.RPC_context.simple ->
  'a ->
  Tezos_protocol_environment_006_PsCARTHA.Signature.Public_key_hash.t ->
  Alpha_context.Tez.t
    Tezos_protocol_environment_006_PsCARTHA.Error_monad.shell_tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

val delegated_contracts : 
  'a Tezos_protocol_environment_006_PsCARTHA.RPC_context.simple ->
  'a ->
  Tezos_protocol_environment_006_PsCARTHA.Signature.Public_key_hash.t ->
  Contract_repr.t list
    Tezos_protocol_environment_006_PsCARTHA.Error_monad.shell_tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

val delegated_balance : 
  'a Tezos_protocol_environment_006_PsCARTHA.RPC_context.simple ->
  'a ->
  Tezos_protocol_environment_006_PsCARTHA.Signature.Public_key_hash.t ->
  Alpha_context.Tez.t
    Tezos_protocol_environment_006_PsCARTHA.Error_monad.shell_tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

val deactivated : 
  'a Tezos_protocol_environment_006_PsCARTHA.RPC_context.simple ->
  'a ->
  Tezos_protocol_environment_006_PsCARTHA.Signature.Public_key_hash.t ->
  bool Tezos_protocol_environment_006_PsCARTHA.Error_monad.shell_tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

val grace_period : 
  'a Tezos_protocol_environment_006_PsCARTHA.RPC_context.simple ->
  'a ->
  Tezos_protocol_environment_006_PsCARTHA.Signature.Public_key_hash.t ->
  Alpha_context.Cycle.t
    Tezos_protocol_environment_006_PsCARTHA.Error_monad.shell_tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

module Baking_rights : sig ... end

module Endorsing_rights : sig ... end

module Endorsing_power : sig ... end

module Required_endorsements : sig ... end

module Minimal_valid_time : sig ... end

val endorsement_rights : 
  Alpha_context.t ->
  Alpha_context.Level.t ->
  Alpha_context.public_key_hash list
    Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

val baking_rights : 
  Alpha_context.t ->
  int option ->
  (Alpha_context.Raw_level.t
   * (Alpha_context.public_key_hash
      * Tezos_protocol_environment_006_PsCARTHA.Time.t option)
       list)
    Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

val endorsing_power : 
  Alpha_context.t ->
  (Alpha_context.packed_operation
   * Tezos_protocol_environment_006_PsCARTHA.Chain_id.t) ->
  int Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

val required_endorsements : 
  Alpha_context.t ->
  Alpha_context.Period.t ->
  int Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

val minimal_valid_time : 
  Alpha_context.t ->
  int ->
  int ->
  Tezos_protocol_environment_006_PsCARTHA.Time.t
    Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

val register : unit -> unit

package tezos-protocol-006-PsCARTHA