Contract (mavkit-protocol-001-PtAtLas-libs.Mavryk_protocol_plugin_001

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

module S : sig ... end

val get_contract : 
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
  (Mavryk_raw_protocol_001_PtAtLas.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_001_PtAtLas.Environment.RPC_context.simple ->
  'b ->
  contract:Mavryk_raw_protocol_001_PtAtLas.Contract_hash.t ->
  unparsing_mode:
    Mavryk_protocol_001_PtAtLas.Protocol.Script_ir_unparser.unparsing_mode ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr option
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.shell_tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

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

val get_used_storage_space : 
  'a Mavryk_protocol_001_PtAtLas.Environment.RPC_context.simple ->
  'b ->
  contract:Mavryk_raw_protocol_001_PtAtLas.Contract_hash.t ->
  Mavryk_protocol_environment_001_PtAtLas.Z.t option
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.shell_tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val get_paid_storage_space : 
  'a Mavryk_protocol_001_PtAtLas.Environment.RPC_context.simple ->
  'b ->
  contract:Mavryk_raw_protocol_001_PtAtLas.Contract_hash.t ->
  Mavryk_protocol_environment_001_PtAtLas.Z.t option
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.shell_tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

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

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