package tezos-protocol-003-PsddFKi3
 sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >
  
  
  Tezos/Protocol: 003_PsddFKi3 (economic-protocol definition, functor version)
Install
    
    dune-project
 Dependency
Authors
Maintainers
Sources
  
    
      tezos-17.3.tar.gz
    
    
        
    
  
  
  
    
  
  
    
  
        sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
    
    
  sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
    
    
  doc/tezos-protocol-003-PsddFKi3.raw/Tezos_raw_protocol_003_PsddFKi3/Alpha_context/Operation/index.html
Module Alpha_context.OperationSource
Source
val contents_encoding : 
  packed_contents Tezos_protocol_environment_003_PsddFKi3.Data_encoding.tSource
val protocol_data_encoding : 
  packed_protocol_data Tezos_protocol_environment_003_PsddFKi3.Data_encoding.tSource
val contents_list_encoding : 
  packed_contents_list Tezos_protocol_environment_003_PsddFKi3.Data_encoding.tSource
type 'kind t = 'kind operation = {- shell : Tezos_protocol_environment_003_PsddFKi3.Operation.shell_header;
- protocol_data : 'kind protocol_data;
}Source
val hash_packed : 
  packed_operation ->
  Tezos_protocol_environment_003_PsddFKi3.Operation_hash.tSource
val check_signature_sync : 
  public_key ->
  Tezos_protocol_environment_003_PsddFKi3.Chain_id.t ->
  _ operation ->
  unit Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresultSource
val internal_operation_encoding : 
  packed_internal_operation
    Tezos_protocol_environment_003_PsddFKi3.Data_encoding.t sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >