You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
Analyses.GlobConstrSys
A side-effecting system with globals.
module LVar : VarType
module GVar : VarType
module D : Lattice.S
module G : Lattice.S
val increment : increment_data
val system : LVar.t -> ((LVar.t -> D.t) -> (LVar.t -> D.t -> unit) -> (GVar.t -> G.t) -> (GVar.t -> G.t -> unit) -> D.t) option