package goblint-cil

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.