You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
Invariant
type t = Cil.exp option
type context = {
scope : Cil.fundec;
i : int;
lval : Cil.lval option;
offset : Cil.offset;
deref_invariant : Cil.varinfo -> Cil.offset -> Cil.lval -> t;
}
val none : t
val of_exp : Cil.exp -> t
val combine : Cil.binop -> t -> t -> t
val (&&) : t -> t -> t
val (||) : t -> t -> t