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

type unsafe

val pp_unsafe : 
  Ppx_deriving_runtime.Format.formatter ->
  unsafe ->
  Ppx_deriving_runtime.unit

val show_unsafe : unsafe -> Ppx_deriving_runtime.string

val equal_unsafe : unsafe -> unsafe -> Ppx_deriving_runtime.bool

val yojson_of_unsafe : unsafe -> Ppx_yojson_conv_lib.Yojson.Safe.t

val unsafe_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> unsafe

val compare_unsafe : unsafe -> unsafe -> int

val sexp_of_unsafe : unsafe -> Sexplib0.Sexp.t

val unsafe_of_sexp : Sexplib0.Sexp.t -> unsafe

val hash_fold_unsafe : 
  Ppx_hash_lib.Std.Hash.state ->
  unsafe ->
  Ppx_hash_lib.Std.Hash.state

val hash_unsafe : unsafe -> Ppx_hash_lib.Std.Hash.hash_value

val unsafe : unsafe