package goblint-cil

  1. Overview
  2. Docs
inherit GoblintCil__.Cil.nopCilVisitor
method vstmt : GoblintCil__.Cil.stmt -> GoblintCil__.Cil.stmt GoblintCil__.Cil.visitAction
method vvdec : GoblintCil__.Cil.varinfo -> GoblintCil__.Cil.varinfo GoblintCil__.Cil.visitAction
method vexpr : GoblintCil__.Cil.exp -> GoblintCil__.Cil.exp GoblintCil__.Cil.visitAction
method vlval : GoblintCil__.Cil.lval -> GoblintCil__.Cil.lval GoblintCil__.Cil.visitAction
method vtype : GoblintCil__.Cil.typ -> GoblintCil__.Cil.typ GoblintCil__.Cil.visitAction
OCaml

Innovation. Community. Security.