goblint.lib
Access.A
goblint.backtrace
goblint.build-info
goblint.common
goblint.sites
goblint.std
goblint.timing
goblint_build_info_dune
goblint_build_info_js
goblint_sites_dune
goblint_sites_js
include module type of struct include Printable.Std end
val tag : 'a -> 'b
val arbitrary : unit -> 'a
type t = {
conf : int;
kind : AccessKind.t;
node : Node.t;
exp : CilType.Exp.t;
acc : MCPAccess.A.t;
}
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> Ppx_deriving_runtime.int
val hash : t -> int
val name : unit -> string
val pretty : unit -> t -> GoblintCil.Pretty.doc
include sig ... end
val show : t -> string
val printXml : 'a BatInnerIO.output -> t -> unit
val to_yojson : t -> [> `String of string ]
val relift : t -> t