Block_time.Time
type t = Mina_wire_types.Block_time.V1.t
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val zero : t
val max_value : t
include Core_kernel.Comparable.S with type t := t
val comparator : ( t, comparator_witness ) Base__Comparator.comparator
module Replace_polymorphic_compare : sig ... end
module Map : sig ... end
module Set : sig ... end
include Core_kernel.Hashable.S with type t := t
val hash_fold_t :
Ppx_hash_lib.Std.Hash.state ->
t ->
Ppx_hash_lib.Std.Hash.state
val hash : t -> Ppx_hash_lib.Std.Hash.hash_value
val hashable : t Core_kernel__.Hashtbl.Hashable.t
module Table : sig ... end
module Hash_set : sig ... end
module Hash_queue : sig ... end
module Controller : sig ... end
module Stable : sig ... end
module Bits : Snark_bits.Bits_intf.Convertible_bits with type t := t
include Snark_params.Tick.Snarkable.Bits.Faithful
with type Unpacked.value = t
and type Packed.value = t
and type Packed.var = private Snark_params.Tick.Field.Var.t
module Packed : sig ... end
module Unpacked : sig ... end
val pack_value : Unpacked.value -> Packed.value
val unpack_value : Packed.value -> Unpacked.value
val pack_var : Unpacked.var -> Packed.var
val unpack_var : Packed.var -> Unpacked.var Crypto_params.Tick.Checked.t
val to_input : t -> Snark_params.Tick.Field.t Random_oracle_input.Chunked.t
module Checked : sig ... end
module Span : sig ... end
val field_var_to_unpacked :
Snark_params.Tick.Field.Var.t ->
Unpacked.var Snark_params.Tick.Checked.t
val diff_checked :
Unpacked.var ->
Unpacked.var ->
Span.Unpacked.var Snark_params.Tick.Checked.t
val unpacked_to_number : Span.Unpacked.var -> Snark_params.Tick.Number.t
val of_time : Core_kernel.Time.t -> t
val to_time_exn : t -> Core_kernel.Time.t
val now : Controller.t -> t
val to_int64 : t -> Core_kernel.Int64.t
val of_int64 : Core_kernel.Int64.t -> t
val of_uint64 : Unsigned.UInt64.t -> t
val to_uint64 : t -> Unsigned.UInt64.t
val of_time_ns : Core_kernel.Time_ns.t -> t
val to_string_exn : t -> string
val to_string_system_time_exn : Controller.t -> t -> string
Strip time offset
val to_system_time : Controller.t -> t -> t
Strip time offset
val of_string_exn : string -> t
val gen : t Core_kernel.Quickcheck.Generator.t