{0 Library goblint.library}
This library is unwrapped and provides the following top-level modules.
For better context, see {!Goblint_lib} which also documents these modules.


{1 Utilities}

{2 Library specification}
{!modules:
AccessKind
LibraryDesc
LibraryDsl
LibraryFunctions
}
