Module Alpha_context.Timestamp

This module re-exports definitions from Time_repr.

include BASIC_DATA with type t = Mavryk_protocol_environment_001_PtAtLas.Time.t
include Mavryk_protocol_environment_001_PtAtLas.Compare.S with type t := t
val (=) : t -> t -> bool
val (<>) : t -> t -> bool
val (<) : t -> t -> bool
val (<=) : t -> t -> bool
val (>=) : t -> t -> bool
val (>) : t -> t -> bool
val compare : t -> t -> int
val equal : t -> t -> bool
val max : t -> t -> t
val min : t -> t -> t
type time = t
val (-) : time -> Period.t -> time
val of_notation : string -> time option
val to_notation : time -> string
val of_seconds : int64 -> time
val to_seconds : time -> int64
val of_seconds_string : string -> time option
val to_seconds_string : time -> string
val current : context -> time

See Raw_context.current_timestamp.

val predecessor : context -> time

See Raw_context.predecessor_timestamp.