class postconditions_mention_result : object .. end
object
end
\result
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