_
val name : string
Name of the module. Arbitrary non-empty string.
val shortname : string
Prefix for plugin options. No space allowed.
val help : string
description of the module. Free-form text.
Frama-C