class widen_visitor :Inherits'a -> Widen_type.t Pervasives.ref -> (Cil_types.stmt list * Cil_datatype.Stmt.Set.t) option ->
object
..end
val widen_hints : Widen_type.t Pervasives.ref
val enclosing_loop_info : (Cil_types.stmt list * Cil_datatype.Stmt.Set.t) option
method vstmt : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction