Check (goblint.Checks.Check)

type t = {

kind : Kind.t;
title : Category.t;
range : CilType.Location.t option;
messages : string;

}

val make : 
  kind:Kind.t ->
  title:Category.t ->
  ?range:CilType.Location.t ->
  messages:string ->
  unit ->
  t

val hash : t -> int

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

val to_yojson : 
  t ->
  [> `Assoc of
       (string
        * [> `Assoc of
               (string
                * [> `Assoc of
                       (string * [> `Int of int | `String of string ]) list ])
                 list
          | `Null
          | `String of string ])
         list ]

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