Class Norm.retypeBasePointer


class retypeBasePointer : object .. end
Inherits
method new_wrapper_for_type : Cil_types.typ -> Cil_types.typ
method private wrap_type_if_needed : Cil_types.typ -> Cil_types.typ option
method private postaction_lval : Cil_types.lval -> Cil_types.lval
method vfile : Cil_types.file -> Cil_types.file Cil.visitAction
method vtype : Cil_types.typ -> Cil_types.typ Cil.visitAction
method vglob_aux : Cil_types.global -> Cil_types.global list Cil.visitAction
method vlval : Cil_types.lval -> Cil_types.lval Cil.visitAction
method vterm_lval : Cil_types.term_lval -> Cil_types.term_lval Cil.visitAction