
{2 API Documentation}

The Users plugin is integrated with the Frama-C kernel:
 - {{:../index.html}Frama-C} complete kernel API
 - {{:../html/Db.Users.html}Users} available kernel API

{2 Internal Documentation}

 - {{:modules.svg}Users} architecture (SVG format)
 - Index of {{:index_modules.html}Modules}
 - Index of {{:index_types.html}Types}
 - Index of {{:index_values.html}Values}
 - Index of {{:index_exceptions.html}Exceptions}

