Alias
Interface for the Alias plug-in.
module Analysis : sig ... end
module API : sig ... end
External API of the plugin Alias
Frama-C