Module Oui.Plugin_utilsSource

Sourceval app_var_prefix : string -> string

Returns a valid prefix for app specific variables. E.g. for "frama-c", returns "frama_c_". This should be passed to load_conf.