package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
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