Class Norm.retypeTypeTags


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