package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Goblint_lib.Signs`

Simple intraprocedural integer signs analysis template (signs).

see https://goblint.readthedocs.io/en/latest/developer-guide/firstanalysis/

module Signs : sig ... end

module SL : sig ... end

module Spec : Analyses.MCPSpec