Res (p.goblint.1.1.1.doc.goblint.lib.Extract

val resources : 
  (string * string, Prelude.Ana.varinfo * int) BatteriesExceptionless.Hashtbl.t

val get : (string * string) -> Prelude.Ana.varinfo * int

val inv_by : 
  ((Prelude.Ana.varinfo * int) -> 'a) ->
  'a ->
  (string * string) option

val inv_v : Prelude.Ana.varinfo -> (string * string) option

val inv_i : int -> (string * string) option

val i_by_v : Prelude.Ana.varinfo -> int