Module Self

module Self: sig .. end

include Plugin.S
module type Varinfo_set = Parameter_sig.Set 
  with type elt = Cil_types.varinfo
   and type t = Cil_datatype.Varinfo.Set.t
module OutputDot: Parameter_sig.String 
module OutputJson: Parameter_sig.String 
module DepthLimit: Parameter_sig.Int 
module FromFunctionAlarms: Parameter_sig.Kernel_function_set 
module FromBases: Varinfo_set 
module UnfoldedBases: Varinfo_set 
module HiddenBases: Varinfo_set