Tezos_raw_protocol_011_PtHangz2.Period_reprSourceConverts a number of seconds to a period.
of_second s fails if s is not positive.
Converts a number of seconds to period.
of_second s fails if s is not positive. It should only be used at toplevel for constants.
val add :
period ->
period ->
period Tezos_protocol_environment_011_PtHangz2.Error_monad.tzresultSafe addition of periods, guarded against overflow.
val (+?) :
period ->
period ->
period Tezos_protocol_environment_011_PtHangz2.Error_monad.tzresultAlias for add.
val mult :
int32 ->
period ->
period Tezos_protocol_environment_011_PtHangz2.Error_monad.tzresultSafe multiplication by a positive integer. Guarded against overflow.