Up – goblint » Goblint_lib » Analyses » ValueContexts

Module `Analyses.ValueContexts`

Parameters
Signature

Parameters

module D : Lattice.S

Signature

module C = D

val startcontext : unit -> D.t