class occurrence :Inheritsobject
..end
method vlval : Cil_types.lval -> Cil_types.lval Cil.visitAction
method vterm_lval : Cil_types.term_lval -> Cil_types.term_lval Cil.visitAction
method vstmt_aux : Cil_types.stmt -> Cil_types.stmt Cil.visitAction