sig
val cExp :
string -> (string * Flx_cil_cil.formatArg) list -> Flx_cil_cil.exp
val cLval :
string -> (string * Flx_cil_cil.formatArg) list -> Flx_cil_cil.lval
val cType :
string -> (string * Flx_cil_cil.formatArg) list -> Flx_cil_cil.typ
val cInstr :
string ->
Flx_cil_cil.location ->
(string * Flx_cil_cil.formatArg) list -> Flx_cil_cil.instr
val cStmt :
string ->
(string -> Flx_cil_cil.typ -> Flx_cil_cil.varinfo) ->
Flx_cil_cil.location ->
(string * Flx_cil_cil.formatArg) list -> Flx_cil_cil.stmt
val cStmts :
string ->
(string -> Flx_cil_cil.typ -> Flx_cil_cil.varinfo) ->
Flx_cil_cil.location ->
(string * Flx_cil_cil.formatArg) list -> Flx_cil_cil.stmt list
val dExp : string -> Flx_cil_cil.exp -> Flx_cil_cil.formatArg list option
val dLval : string -> Flx_cil_cil.lval -> Flx_cil_cil.formatArg list option
val dType : string -> Flx_cil_cil.typ -> Flx_cil_cil.formatArg list option
val dInstr :
string -> Flx_cil_cil.instr -> Flx_cil_cil.formatArg list option
val noMemoize : bool Pervasives.ref
val test : unit -> unit
end