This library is unwrapped and provides the following top-level modules. For better context, see Goblint_lib which also documents these modules.
AccessKind Kinds of memory accesses.LibraryDesc Library function descriptor (specification).LibraryDsl Library function descriptor DSL.LibraryFunctions Hard-coded database of library function specifications.