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


{1 Framework}

{2 Configuration}
{!modules:
GobConfig
AfterConfig
JsonSchema
Options
}
