package tezos-protocol-015-PtLimaPt
 sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >
  
  
  Tezos/Protocol: economic-protocol definition
Install
    
    dune-project
 Dependency
Authors
Maintainers
Sources
  
    
      tezos-16.1.tar.gz
    
    
        
    
  
  
  
    
  
  
    
  
        sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
    
    
  sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
    
    
  doc/tezos-protocol-015-PtLimaPt.raw/Tezos_raw_protocol_015_PtLimaPt/Alpha_context/Contract/index.html
Module Alpha_context.ContractSource
This module re-exports definitions from Contract_repr and Contract_storage.
Source
type Tezos_protocol_environment_015_PtLimaPt.Error_monad.error += - | Non_existing_contract of t
include BASIC_DATA with type t := t
include Tezos_protocol_environment_015_PtLimaPt.Compare.S with type t := t
Source
val implicit_encoding : 
  public_key_hash Tezos_protocol_environment_015_PtLimaPt.Data_encoding.tSource
val originated_encoding : 
  Contract_hash.t Tezos_protocol_environment_015_PtLimaPt.Data_encoding.tSource
val must_exist : 
  context ->
  t ->
  unit Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tSource
val must_be_allocated : 
  context ->
  t ->
  unit Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tSource
val is_manager_key_revealed : 
  context ->
  public_key_hash ->
  bool Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tSource
val check_public_key : 
  public_key ->
  public_key_hash ->
  unit Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresultSource
val reveal_manager_key : 
  ?check_consistency:bool ->
  context ->
  public_key_hash ->
  public_key ->
  context Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tSource
val get_script_code : 
  context ->
  t ->
  (context * Script.lazy_expr option)
    Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tSource
val get_script : 
  context ->
  Contract_hash.t ->
  (context * Script.t option)
    Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tSource
val get_storage : 
  context ->
  t ->
  (context * Script.expr option)
    Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tSource
val get_balance : 
  context ->
  t ->
  Tez.t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tSee
ontract_storage.get_balance
.
Source
val get_balance_carbonated : 
  context ->
  t ->
  (context * Tez.t)
    Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tSource
val check_allocated_and_get_balance : 
  context ->
  public_key_hash ->
  Tez.t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tSee
ontract_storage.check_allocated_and_get_balance
.
Source
val increase_paid_storage : 
  context ->
  t ->
  amount_in_bytes:Tezos_protocol_environment_015_PtLimaPt.Z.t ->
  context Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tSource
val fresh_contract_from_current_nonce : 
  context ->
  (context * Contract_hash.t)
    Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresultSource
val originated_from_current_nonce : 
  since:context ->
  until:context ->
  Contract_hash.t list
    Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tSource
val get_frozen_bonds : 
  context ->
  t ->
  Tez.t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tSource
val get_balance_and_frozen_bonds : 
  context ->
  t ->
  Tez.t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tSource
val update_script_storage : 
  context ->
  t ->
  Script.expr ->
  Lazy_storage.diffs option ->
  context Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tSource
val check_counter_increment : 
  context ->
  public_key_hash ->
  Tezos_protocol_environment_015_PtLimaPt.Z.t ->
  unit Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tSource
val simulate_spending : 
  context ->
  balance:Tez.t ->
  amount:Tez.t ->
  public_key_hash ->
  (Tez.t * bool) Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tSee
ontract_storage.simulate_spending
.
Source
val raw_originate : 
  context ->
  prepaid_bootstrap_storage:bool ->
  Contract_hash.t ->
  script:(Script.t * Lazy_storage.diffs option) ->
  context Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.tThis module discloses definitions that are only useful for tests and must not be used otherwise.
 sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >