package goblint

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `ConstrSys.CurrentVarDemandEqConstrSys`Source

DemandEqConstrSys where current_var indicates the variable whose right-hand side is currently being evaluated.

module S : DemandEqConstrSys

Sourceval current_var : S.v option ref

Sourcemodule S : sig ... end