Goblint_lib.MCPAccess
Memory access metadata module for MCP.
module Pretty = GoblintCil.Pretty
module A : Analyses.MCPA with type t = (int * Stdlib.Obj.t) list
Access module corresponding to MCP. Separate to avoid dependency cycle.