goblint.constraint
GlobSolverFromEqSolver.Sol'
goblint.backtrace
goblint.build-info
goblint.cdomain
goblint.common
goblint.config
goblint.domain
goblint.incremental
goblint.lib
goblint.library
goblint.logs
goblint.parallel
goblint.sites
goblint.solver
goblint.std
goblint.timing
goblint.tracing
goblint_cdomain_value
type marshal = Sol(EqSys)(VH).marshal
val copy_marshal : marshal -> marshal
val relift_marshal : marshal -> marshal
val solve : (EqSys.v * EqSys.d) list -> EqSys.v list -> marshal option -> EqSys.d VH.t * marshal