goblint-cil
  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
val cExp : string -> (string * Cil.formatArg) list -> Cil.exp
val cLval : string -> (string * Cil.formatArg) list -> Cil.lval
val cType : string -> (string * Cil.formatArg) list -> Cil.typ
val cInstr : string -> Cil.location -> (string * Cil.formatArg) list -> Cil.instr
val cStmt : string -> (string -> Cil.typ -> Cil.varinfo) -> Cil.location -> (string * Cil.formatArg) list -> Cil.stmt
val cStmts : string -> (string -> Cil.typ -> Cil.varinfo) -> Cil.location -> (string * Cil.formatArg) list -> Cil.stmt list
val dExp : string -> Cil.exp -> Cil.formatArg list option
val dLval : string -> Cil.lval -> Cil.formatArg list option
val dType : string -> Cil.typ -> Cil.formatArg list option
val dInstr : string -> Cil.instr -> Cil.formatArg list option
val noMemoize : bool Pervasives.ref
val test : unit -> unit