package goblint

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Class InvariantCil.exp_replace_original_name_visitor

inherit Cil.nopCilVisitor
method vvrbl : Cil.varinfo -> Cilfacade.VarinfoH.key Cil.visitAction
OCaml

Innovation. Community. Security.