class change_result : Kernel_function.t -> object .. end
Kernel_function.t ->
object
end
Visitor.frama_c_inplace
method vterm_lhost : Cil_types.term_lhost -> Cil_types.term_lhost Cil.visitAction
Cil_types.term_lhost -> Cil_types.term_lhost Cil.visitAction