package tezos-protocol-alpha
 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-alpha.raw/Tezos_raw_protocol_alpha/Operation_repr/Encoding/index.html
Module Operation_repr.EncodingSource
Source
type 'b case = - | Case : {- tag : int;
- name : string;
- encoding : 'a Tezos_protocol_environment_alpha.Data_encoding.t;
- select : packed_contents -> 'b contents option;
- proj : 'b contents -> 'a;
- inj : 'a -> 'b contents;
 - } -> 'b case
Source
val sc_rollup_execute_outbox_message_case : 
  Kind.sc_rollup_execute_outbox_message Kind.manager case sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >