class retypeLogicFunctions :Inheritsobject
..end
method vannotation : Cil_types.global_annotation -> Cil_types.global_annotation Cil.visitAction
method vterm_lval : Cil_types.term_lval -> Cil_types.term_lval Cil.visitAction
method vterm : Cil_types.term -> Cil_types.term Cil.visitAction
method vpredicate : Cil_types.predicate -> Cil_types.predicate Cil.visitAction