Localise (infer.Absint.Localise)

module Tags : sig ... end

type error_desc = {

}

description field of error messages

val compare_error_desc : error_desc -> error_desc -> int

val verbatim_desc : ?suggestion:string -> string -> error_desc

verbatim desc from a string and suggestion, not to be used for user-visible descs

val error_desc_get_bucket : error_desc -> string option

get the bucket value of an error_desc, if any

val error_desc_hash : error_desc -> int

hash function for error_desc

val error_desc_equal : error_desc -> error_desc -> bool

equality for error_desc

val pp_error_qualifier : Stdlib.Format.formatter -> error_desc -> unit

pretty print an error qualifier

val pp_error_desc : Stdlib.Format.formatter -> error_desc -> unit

pretty print a full error description with suggestion

val error_desc_get_dotty : error_desc -> string option

Description functions for error messages

val desc_condition_always_true_false : 
  IR.IntLit.t ->
  string option ->
  IBase.Location.t ->
  error_desc