package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
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