AccessDomain.Event
include module type of struct include Printable.StdLeaf end
type t = {
var_opt : CilType.Varinfo.t option;
Access varinfo (unknown if None).
*)offs_opt : CilType.Offset.t option;
Access offset (unknown if None).
*)kind : AccessKind.t;
}
val hash : t -> int
val pretty : unit -> t -> GoblintCil.Pretty.doc