Module Diagnostics.Context

type t =
  1. | Phase of Phase.t
  2. | Backend of Backend.t
  3. | ThirImport
  4. | Dependencies
  5. | DebugPrintRust
  6. | GenericPrinter of Prelude.string
  7. | Other of Prelude.string
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 display : t -> Hax_engine.Prelude.String.t