goblint.lib
Shapes
Shape analysis for cyclic doubly linked lists.
goblint.sites
goblint_sites_dune
goblint_sites_js
module GU = Goblintutil
module Re = Region.Spec
module Spec : sig ... end