package goblint-cil

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

method vexpr : GoblintCil__.Cabs.expression ->
  GoblintCil__.Cabs.expression visitAction

method vinitexpr : GoblintCil__.Cabs.init_expression ->
  GoblintCil__.Cabs.init_expression visitAction

method vstmt : GoblintCil__.Cabs.statement ->
  GoblintCil__.Cabs.statement list visitAction

method vblock : GoblintCil__.Cabs.block -> GoblintCil__.Cabs.block visitAction

method vvar : string -> string

method vdef : GoblintCil__.Cabs.definition ->
  GoblintCil__.Cabs.definition list visitAction

method vtypespec : GoblintCil__.Cabs.typeSpecifier ->
  GoblintCil__.Cabs.typeSpecifier visitAction

method vdecltype : GoblintCil__.Cabs.decl_type ->
  GoblintCil__.Cabs.decl_type visitAction

method vname : nameKind ->
  GoblintCil__.Cabs.specifier ->
  GoblintCil__.Cabs.name ->
  GoblintCil__.Cabs.name visitAction

method vspec : GoblintCil__.Cabs.specifier ->
  GoblintCil__.Cabs.specifier visitAction

method vattr : GoblintCil__.Cabs.attribute ->
  GoblintCil__.Cabs.attribute list visitAction

method vEnterScope : unit -> unit

method vExitScope : unit -> unit