Unsafe (hax-engine.Hax_engine.Features.Off.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 unsafe_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> unsafe

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

val compare_unsafe : unsafe -> unsafe -> int

val unsafe_of_sexp : Sexplib0.Sexp.t -> unsafe

val sexp_of_unsafe : unsafe -> Sexplib0.Sexp.t

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