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/Contract_hash/Set/index.html
Module Contract_hash.Set
type elt = tval empty : tval is_empty : t -> boolval iter_e : 
  (elt -> (unit, 'trace) Tezos_protocol_environment_alpha.Pervasives.result) ->
  t ->
  (unit, 'trace) Tezos_protocol_environment_alpha.Pervasives.resultval iter_s : 
  (elt -> unit Tezos_protocol_environment_alpha.Lwt.t) ->
  t ->
  unit Tezos_protocol_environment_alpha.Lwt.tval iter_p : 
  (elt -> unit Tezos_protocol_environment_alpha.Lwt.t) ->
  t ->
  unit Tezos_protocol_environment_alpha.Lwt.tval iter_es : 
  (elt ->
    (unit, 'trace) Tezos_protocol_environment_alpha.Pervasives.result
      Tezos_protocol_environment_alpha.Lwt.t) ->
  t ->
  (unit, 'trace) Tezos_protocol_environment_alpha.Pervasives.result
    Tezos_protocol_environment_alpha.Lwt.tval fold_e : 
  (elt ->
    'a ->
    ('a, 'trace) Tezos_protocol_environment_alpha.Pervasives.result) ->
  t ->
  'a ->
  ('a, 'trace) Tezos_protocol_environment_alpha.Pervasives.resultval fold_s : 
  (elt -> 'a -> 'a Tezos_protocol_environment_alpha.Lwt.t) ->
  t ->
  'a ->
  'a Tezos_protocol_environment_alpha.Lwt.tval fold_es : 
  (elt ->
    'a ->
    ('a, 'trace) Tezos_protocol_environment_alpha.Pervasives.result
      Tezos_protocol_environment_alpha.Lwt.t) ->
  t ->
  'a ->
  ('a, 'trace) Tezos_protocol_environment_alpha.Pervasives.result
    Tezos_protocol_environment_alpha.Lwt.tval cardinal : t -> intval to_seq_from : elt -> t -> elt Tezos_protocol_environment_alpha.Seq.tval to_seq : t -> elt Tezos_protocol_environment_alpha.Seq.tval to_rev_seq : t -> elt Tezos_protocol_environment_alpha.Seq.tval add_seq : elt Tezos_protocol_environment_alpha.Seq.t -> t -> tval of_seq : elt Tezos_protocol_environment_alpha.Seq.t -> tval iter_ep : 
  (elt ->
    (unit, 'error Tezos_protocol_environment_alpha.Error_monad.trace)
      Tezos_protocol_environment_alpha.Pervasives.result
      Tezos_protocol_environment_alpha.Lwt.t) ->
  t ->
  (unit, 'error Tezos_protocol_environment_alpha.Error_monad.trace)
    Tezos_protocol_environment_alpha.Pervasives.result
    Tezos_protocol_environment_alpha.Lwt.tval encoding : t Tezos_protocol_environment_alpha.Data_encoding.t sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >