goblint.lib
SolverStats.S
goblint.backtrace
goblint.build-info
goblint.common
goblint.sites
goblint.std
goblint.timing
goblint_build_info_dune
goblint_build_info_js
goblint_sites_dune
goblint_sites_js
type v
type d
module Var : Analyses.VarType with type t = v
Variables must be hashable, comparable, etc.
module Dom : Lattice.S with type t = d
Values must form a lattice.
val system : v -> ((v -> d) -> (v -> d -> unit) -> d) option
The system in functional form.
val sys_change : (v -> d) -> v Analyses.sys_change_info
Compute incremental constraint system change from old solution.