class useListerClass : int -> Cil_types.varinfo -> object .. end
int -> Cil_types.varinfo ->
object
end
Rmciltmps.RD.rdVisitorClass
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
Cil_types.exp -> Cil_types.exp Cil.visitAction