S (p.goblint.2.6.0.doc.goblint.solver.Goblint_solver.Td3.Base.CurrentVarS.S)

type v = S.v

type d = S.d

Sourcemodule Var : sig ... end

Sourcemodule Dom : sig ... end

val sys_change : (v -> d) -> v Goblint_constraint__ConstrSys.sys_change_info

val postmortem : v -> v list

val system : 
  S.v ->
  ((S.v -> S.d) -> (S.v -> S.d -> unit) -> (S.v -> unit) -> S.d) option