package tezos-protocol-013-PtJakart
val section_encoding :
section Tezos_protocol_environment_013_PtJakart.Data_encoding.tval pp_section :
Tezos_protocol_environment_013_PtJakart.Format.formatter ->
section ->
unitA dissection is a split of a section in several smaller sections that form a partition of this section.
val dissection_encoding :
dissection option Tezos_protocol_environment_013_PtJakart.Data_encoding.tval pp_dissection :
Tezos_protocol_environment_013_PtJakart.Format.formatter ->
dissection ->
unitval empty_dissection : dissectionempty_dissection is an empty set.
val add_section : section -> dissection -> dissectionadd_section section dissection contains the sections of dissection plus a new section.
val find_section : section -> dissection -> section optionfind_section section dissection returns Some section if section is a member of dissection. Returns None otherwise.
val fold_over_dissection :
(tick -> section -> 'a -> 'a) ->
dissection ->
'a ->
'afold_over_dissection f dissection i traverses dissection from the section of lowest tick to the section of highest ticks applying f to compute the next value of the accumulator, initially set to i.
val dissection_cardinal : dissection -> intdissection_cardinal dissection returns the number of sections in the given dissection.
val last_section : dissection -> (tick * section) optionlast_section dissection returns Some (tick, section) if the last section of dissection starts at tick. Returns None if dissection is empty.
val valid_section : section -> boolA section is valid if its start_at tick is smaller than its stop_at tick.
val valid_dissection : section -> dissection -> boolvalid_dissection section dissection returns true iff dissection is a partition of section.