goblint.lib
Messages.Piece
goblint.sites
goblint_sites_dune
goblint_sites_js
type t = {
loc : CilType.Location.t option;
text : string;
context : Obj.t option;
}
val equal : t -> t -> Ppx_deriving_runtime.bool
val to_yojson : t -> Yojson.Safe.t
val _ : t -> Yojson.Safe.t
val hash : t -> int
val text_with_context : t -> string