Mutable_reference (hax-engine.Hax_engine.Features.On.Mutable

type mutable_reference

val pp_mutable_reference : 
  Ppx_deriving_runtime.Format.formatter ->
  mutable_reference ->
  Ppx_deriving_runtime.unit

val show_mutable_reference : mutable_reference -> Ppx_deriving_runtime.string

val equal_mutable_reference : 
  mutable_reference ->
  mutable_reference ->
  Ppx_deriving_runtime.bool

val yojson_of_mutable_reference : 
  mutable_reference ->
  Ppx_yojson_conv_lib.Yojson.Safe.t

val mutable_reference_of_yojson : 
  Ppx_yojson_conv_lib.Yojson.Safe.t ->
  mutable_reference

val compare_mutable_reference : mutable_reference -> mutable_reference -> int

val sexp_of_mutable_reference : mutable_reference -> Sexplib0.Sexp.t

val mutable_reference_of_sexp : Sexplib0.Sexp.t -> mutable_reference

val hash_fold_mutable_reference : 
  Ppx_hash_lib.Std.Hash.state ->
  mutable_reference ->
  Ppx_hash_lib.Std.Hash.state

val hash_mutable_reference : 
  mutable_reference ->
  Ppx_hash_lib.Std.Hash.hash_value

val mutable_reference : mutable_reference