package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Tbls.NodeTbl`

val table : (int, MyCFG.node) BatteriesExceptionless.Hashtbl.t

val get : int -> MyCFG.node

val get_key : MyCFG.node -> int option

val to_list : unit -> (int * MyCFG.node) list