Class Rmciltmps.useListerClass

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