class memReadOrAddrOfFinderClass : bool Pervasives.ref -> object .. end
bool Pervasives.ref ->
object
end
Cil.nopCilVisitor
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
Cil_types.exp -> Cil_types.exp Cil.visitAction
method vvrbl : Cil_types.varinfo -> Cil_types.varinfo Cil.visitAction
Cil_types.varinfo -> Cil_types.varinfo Cil.visitAction