Class Rewrite.debugVoid


class debugVoid : object .. end
Inherits
method vterm : Cil_types.term -> Cil_types.term Cil.visitAction