class callTempElimClass : Cil_types.fundec -> object .. end
Cil_types.fundec ->
object
end
Rmciltmps.RD.rdVisitorClass
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
Cil_types.exp -> Cil_types.exp Cil.visitAction
method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction
Cil_types.instr -> Cil_types.instr list Cil.visitAction