Backend (hax-engine.Hax_engine.Diagnostics.Backend)

type t =

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

val show : t -> Ppx_deriving_runtime.string

val equal : t -> t -> Ppx_deriving_runtime.bool

val t_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> t

val yojson_of_t : t -> Ppx_yojson_conv_lib.Yojson.Safe.t

val compare : t -> t -> Prelude.int

val hash_fold_t : 
  Ppx_hash_lib.Std.Hash.state ->
  t ->
  Ppx_hash_lib.Std.Hash.state

val hash : t -> Ppx_hash_lib.Std.Hash.hash_value

val t_of_sexp : Sexplib0.Sexp.t -> t

val sexp_of_t : t -> Sexplib0.Sexp.t