Up – Package index » goblint » Library goblint.lib » Witness » Result » EQSys

Parameter `Result.EQSys`

module LVar = Analyses.VarF(Spec.C)

module GVar = Basetype.Variables

module D = Spec.D

module G = Spec.G

val increment : Analyses.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