Contract (mavkit-protocol-alpha-libs.Mavryk_protocol_plugin

val ticket_balances_encoding : 
  (Mavryk_protocol_alpha.Protocol.Ticket_token.unparsed_token
   * Mavryk_protocol_environment_alpha.Z.t)
    list
    Mavryk_protocol_alpha.Environment.Data_encoding.encoding

module S : sig ... end

val get_contract : 
  Mavryk_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  (Mavryk_raw_protocol_alpha.Contract_hash.t ->
    ('a option, 'b) Stdlib.result Lwt.t) ->
  ('a option, 'b) Stdlib.result Lwt.t

val register : unit -> unit

val get_storage_normalized : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  contract:Mavryk_raw_protocol_alpha.Contract_hash.t ->
  unparsing_mode:
    Mavryk_protocol_alpha.Protocol.Script_ir_unparser.unparsing_mode ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Script.expr option
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val get_script_normalized : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  contract:Mavryk_raw_protocol_alpha.Contract_hash.t ->
  unparsing_mode:
    Mavryk_protocol_alpha.Protocol.Script_ir_unparser.unparsing_mode ->
  normalize_types:bool ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Script.t option
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val get_used_storage_space : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  contract:Mavryk_raw_protocol_alpha.Contract_hash.t ->
  Mavryk_protocol_environment_alpha.Z.t option
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val get_paid_storage_space : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  contract:Mavryk_raw_protocol_alpha.Contract_hash.t ->
  Mavryk_protocol_environment_alpha.Z.t option
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val get_ticket_balance : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Mavryk_protocol_alpha.Protocol.Ticket_token.unparsed_token ->
  Mavryk_protocol_environment_alpha.Z.t
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val get_all_ticket_balances : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  Mavryk_raw_protocol_alpha.Contract_hash.t ->
  (Mavryk_protocol_alpha.Protocol.Ticket_token.unparsed_token
   * Mavryk_protocol_environment_alpha.Z.t)
    list
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t