frama-c-api_generator index

Library frama-c-api_generator.core

The entry point of this library is the module: Api_generator.