package goblint-cil

  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
val name : string
val debug : bool Stdlib.ref
type t = VS.t
val pretty : unit -> VS.t -> GoblintCil.Pretty.doc
val stmtStartData : VS.t IH.t
val funcExitData : VS.t
val combineStmtStartData : GoblintCil.stmt -> old:t -> t -> VS.t option
val combineSuccessors : VS.t -> VS.t -> VS.t
val doInstr : GoblintCil.instr -> 'a -> VS.t DF.action
val filterStmt : 'a -> 'b -> bool