tezos-protocol-013-PtJakart 20.1 (latest)

include BASIC_DATA

type t

include Tezos_protocol_environment_013_PtJakart.Compare.S with type t := t

val (=) : t -> t -> bool

val (<>) : t -> t -> bool

val (<) : t -> t -> bool

val (<=) : t -> t -> bool

val (>=) : t -> t -> bool

val (>) : t -> t -> bool

val compare : t -> t -> int

val equal : t -> t -> bool

val max : t -> t -> t

val min : t -> t -> t

val encoding : t Tezos_protocol_environment_013_PtJakart.Data_encoding.t

val pp : Tezos_protocol_environment_013_PtJakart.Format.formatter -> t -> unit

type contract = t

val in_memory_size : t -> Cache_memory_helpers.sint

val rpc_arg : contract Tezos_protocol_environment_013_PtJakart.RPC_arg.arg

val to_b58check : contract -> string

val of_b58check : 
  string ->
  contract Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult

val implicit_contract : public_key_hash -> contract

val is_implicit : contract -> public_key_hash option

val is_originated : contract -> Contract_hash.t option

val exists : 
  context ->
  contract ->
  bool Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val must_exist : 
  context ->
  contract ->
  unit Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val allocated : 
  context ->
  contract ->
  bool Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val must_be_allocated : 
  context ->
  contract ->
  unit Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val list : 
  context ->
  contract list Tezos_protocol_environment_013_PtJakart.Lwt.t

val get_manager_key : 
  ?error:Tezos_protocol_environment_013_PtJakart.Error_monad.error ->
  context ->
  public_key_hash ->
  public_key Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val is_manager_key_revealed : 
  context ->
  public_key_hash ->
  bool Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val reveal_manager_key : 
  context ->
  public_key_hash ->
  public_key ->
  context Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val get_script_code : 
  context ->
  contract ->
  (context * Script.lazy_expr option)
    Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val get_script : 
  context ->
  contract ->
  (context * Script.t option)
    Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val get_storage : 
  context ->
  contract ->
  (context * Script.expr option)
    Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val get_counter : 
  context ->
  public_key_hash ->
  Tezos_protocol_environment_013_PtJakart.Z.t
    Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val get_balance : 
  context ->
  contract ->
  Tez.t Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val get_balance_carbonated : 
  context ->
  contract ->
  (context * Tez.t)
    Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val fresh_contract_from_current_nonce : 
  context ->
  (context * t) Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult

val originated_from_current_nonce : 
  since:context ->
  until:context ->
  contract list Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val get_frozen_bonds : 
  context ->
  contract ->
  Tez.t Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val get_balance_and_frozen_bonds : 
  context ->
  contract ->
  Tez.t Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

module Legacy_big_map_diff : sig ... end

val update_script_storage : 
  context ->
  contract ->
  Script.expr ->
  Lazy_storage.diffs option ->
  context Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val used_storage_space : 
  context ->
  t ->
  Tezos_protocol_environment_013_PtJakart.Z.t
    Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val increment_counter : 
  context ->
  public_key_hash ->
  context Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val check_counter_increment : 
  context ->
  public_key_hash ->
  Tezos_protocol_environment_013_PtJakart.Z.t ->
  unit Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val raw_originate : 
  context ->
  prepaid_bootstrap_storage:bool ->
  t ->
  script:(Script.t * Lazy_storage.diffs option) ->
  context Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

module Internal_for_tests : sig ... end

package tezos-protocol-013-PtJakart