package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Goblint_lib.Region`

Assigning static regions to dynamic memory.

module RegMap = RegionDomain.RegMap

module RegPart = RegionDomain.RegPart

module Reg = RegionDomain.Reg

module Spec : sig ... end