Lifetime (hax-engine.Hax_engine.Features.On.Lifetime)

type lifetime

val pp_lifetime : 
  Ppx_deriving_runtime.Format.formatter ->
  lifetime ->
  Ppx_deriving_runtime.unit

val show_lifetime : lifetime -> Ppx_deriving_runtime.string

val equal_lifetime : lifetime -> lifetime -> Ppx_deriving_runtime.bool

val yojson_of_lifetime : lifetime -> Ppx_yojson_conv_lib.Yojson.Safe.t

val lifetime_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> lifetime

val compare_lifetime : lifetime -> lifetime -> int

val sexp_of_lifetime : lifetime -> Sexplib0.Sexp.t

val lifetime_of_sexp : Sexplib0.Sexp.t -> lifetime

val hash_fold_lifetime : 
  Ppx_hash_lib.Std.Hash.state ->
  lifetime ->
  Ppx_hash_lib.Std.Hash.state

val hash_lifetime : lifetime -> Ppx_hash_lib.Std.Hash.hash_value

val lifetime : lifetime