Alpha_context.RoundSourceThis module re-exports definitions from Round_repr.
val to_slot :
t ->
committee_size:int ->
Slot.t Tezos_protocol_environment_alpha.Error_monad.tzresultinclude Tezos_protocol_environment_alpha.Compare.S with type t := tval pp_round_durations :
Tezos_protocol_environment_alpha.Format.formatter ->
round_durations ->
unitval round_durations_encoding :
round_durations Tezos_protocol_environment_alpha.Data_encoding.tval level_offset_of_round :
round_durations ->
round:t ->
Period.t Tezos_protocol_environment_alpha.Error_monad.tzresultval timestamp_of_round :
round_durations ->
predecessor_timestamp:Tezos_protocol_environment_alpha.Time.t ->
predecessor_round:t ->
round:t ->
Tezos_protocol_environment_alpha.Time.t
Tezos_protocol_environment_alpha.Error_monad.tzresultval timestamp_of_another_round_same_level :
round_durations ->
current_timestamp:Tezos_protocol_environment_alpha.Time.t ->
current_round:t ->
considered_round:t ->
Tezos_protocol_environment_alpha.Time.t
Tezos_protocol_environment_alpha.Error_monad.tzresultval round_of_timestamp :
round_durations ->
predecessor_timestamp:Tezos_protocol_environment_alpha.Time.t ->
predecessor_round:t ->
timestamp:Tezos_protocol_environment_alpha.Time.t ->
t Tezos_protocol_environment_alpha.Error_monad.tzresult