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

type dyn

val pp_dyn : 
  Ppx_deriving_runtime.Format.formatter ->
  dyn ->
  Ppx_deriving_runtime.unit

val show_dyn : dyn -> Ppx_deriving_runtime.string

val equal_dyn : dyn -> dyn -> Ppx_deriving_runtime.bool

val yojson_of_dyn : dyn -> Ppx_yojson_conv_lib.Yojson.Safe.t

val dyn_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> dyn

val compare_dyn : dyn -> dyn -> int

val sexp_of_dyn : dyn -> Sexplib0.Sexp.t

val dyn_of_sexp : Sexplib0.Sexp.t -> dyn

val hash_fold_dyn : 
  Ppx_hash_lib.Std.Hash.state ->
  dyn ->
  Ppx_hash_lib.Std.Hash.state

val hash_dyn : dyn -> Ppx_hash_lib.Std.Hash.hash_value

val dyn : dyn