package goblint-cil

  1. Overview
  2. Docs
inherit GoblintCil__.Cil.nopCilVisitor
method vtype : GoblintCil__.Cil.typ -> GoblintCil__.Cil.typ GoblintCil__.Cil.visitAction
method vattr : GoblintCil__.Cil.attribute -> GoblintCil__.Cil.attribute list GoblintCil__.Cil.visitAction
OCaml

Innovation. Community. Security.