Make.1-X
val analysis_name : string
type t
Type of the results
module T : Frama_c_kernel.Datatype.S with type t = t
class virtual do_it : t cumulative_class
Class that implements the analysis. Must not deal with memoization, as this is automatically done by the functor