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-16.0.tar.gz
    
    
        
    
  
  
  
    
  
  
    
  
        sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
    
    
  sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
    
    
  doc/tezos-protocol-003-PsddFKi3.environment/Tezos_protocol_environment_003_PsddFKi3/Operation/index.html
Module Tezos_protocol_environment_003_PsddFKi3.OperationSource
val shell_header_encoding : shell_header Data_encoding.tval pp : Format.formatter -> t -> unitval encoding : t Data_encoding.tval hash : t -> Operation_hash.tval hash_raw : MBytes.t -> Operation_hash.t sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >