package goblint-cil

  1. Overview
  2. Docs
val debug : bool Stdlib.ref
val doElimTemps : bool Stdlib.ref
val deputyAttrs : bool Stdlib.ref
val zraCilPrinter : GoblintCil.Cil.cilPrinter
val feature : GoblintCil.Feature.t
OCaml

Innovation. Community. Security.