package tezos-protocol-004-Pt24m4xi
 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.0.tar.gz
    
    
        
    
  
  
  
    
  
  
    
  
        sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
    
    
  sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
    
    
  doc/tezos-protocol-004-Pt24m4xi.raw/Tezos_raw_protocol_004_Pt24m4xi/Alpha_context/Contract/index.html
Module Alpha_context.ContractSource
Source
val of_b58check : 
  string ->
  contract Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresultSource
val must_be_allocated : 
  context ->
  contract ->
  unit Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresult
    Tezos_protocol_environment_004_Pt24m4xi.Lwt.tSource
val is_manager_key_revealed : 
  context ->
  contract ->
  bool Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresult
    Tezos_protocol_environment_004_Pt24m4xi.Lwt.tSource
val reveal_manager_key : 
  context ->
  contract ->
  public_key ->
  context Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresult
    Tezos_protocol_environment_004_Pt24m4xi.Lwt.tSource
val is_delegatable : 
  context ->
  contract ->
  bool Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresult
    Tezos_protocol_environment_004_Pt24m4xi.Lwt.tSource
val is_spendable : 
  context ->
  contract ->
  bool Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresult
    Tezos_protocol_environment_004_Pt24m4xi.Lwt.tSource
val get_script : 
  context ->
  contract ->
  (context * Script.t option)
    Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresult
    Tezos_protocol_environment_004_Pt24m4xi.Lwt.tSource
val get_storage : 
  context ->
  contract ->
  (context * Script.expr option)
    Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresult
    Tezos_protocol_environment_004_Pt24m4xi.Lwt.tSource
val init_origination_nonce : 
  context ->
  Tezos_protocol_environment_004_Pt24m4xi.Operation_hash.t ->
  contextSource
val fresh_contract_from_current_nonce : 
  context ->
  (context * t) Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresult
    Tezos_protocol_environment_004_Pt24m4xi.Lwt.tSource
val originated_from_current_nonce : 
  since:context ->
  until:context ->
  contract list Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresult
    Tezos_protocol_environment_004_Pt24m4xi.Lwt.tSource
type big_map_diff_item = {- diff_key : Script_repr.expr;
- diff_key_hash : Script_expr_hash.t;
- diff_value : Script_repr.expr option;
}Source
val big_map_diff_encoding : 
  big_map_diff Tezos_protocol_environment_004_Pt24m4xi.Data_encoding.tSource
val originate : 
  context ->
  contract ->
  balance:Tez.t ->
  manager:public_key_hash ->
  ?script:(Script.t * big_map_diff option) ->
  delegate:public_key_hash option ->
  spendable:bool ->
  delegatable:bool ->
  context Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresult
    Tezos_protocol_environment_004_Pt24m4xi.Lwt.tSource
val spend_from_script : 
  context ->
  contract ->
  Tez.t ->
  context Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresult
    Tezos_protocol_environment_004_Pt24m4xi.Lwt.tSource
val update_script_storage : 
  context ->
  contract ->
  Script.expr ->
  big_map_diff option ->
  context Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresult
    Tezos_protocol_environment_004_Pt24m4xi.Lwt.tSource
val increment_counter : 
  context ->
  contract ->
  context Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresult
    Tezos_protocol_environment_004_Pt24m4xi.Lwt.tSource
val check_counter_increment : 
  context ->
  contract ->
  Tezos_protocol_environment_004_Pt24m4xi.Z.t ->
  unit Tezos_protocol_environment_004_Pt24m4xi.Error_monad.tzresult
    Tezos_protocol_environment_004_Pt24m4xi.Lwt.t sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >