Module Cil_builder.Pure

module Pure: sig .. end

include Cil_builder.Exp
type instr' 
type stmt' 
type instr = [ `instr of instr' ] 
type stmt = [ `instr of instr' | `stmt of stmt' ] 
val of_instr : Cil_types.instr -> [> instr ]
val skip : [> instr ]
val assign : [< lval ] -> [< exp ] -> [> instr ]
val incr : [< lval ] -> [> instr ]
val call : [< `lval of lval' | `none | `var of var' ] ->
[< exp ] -> [< exp ] list -> [> instr ]
val of_stmtkind : Cil_types.stmtkind -> [> stmt ]
val of_stmt : Cil_types.stmt -> [> stmt ]
val of_stmts : Cil_types.stmt list -> [> stmt ]
val block : [< stmt ] list -> [> stmt ]
val ghost : [< stmt ] -> [> stmt ]
val cil_instr : loc:Cil_types.location -> instr -> Cil_types.instr
val cil_stmtkind : loc:Cil_types.location -> stmt -> Cil_types.stmtkind
val cil_stmt : loc:Cil_types.location -> stmt -> Cil_types.stmt
val (:=) : [< lval ] -> [< exp ] -> [> instr ]
val (+=) : [< lval ] -> [< exp ] -> [> instr ]
val (-=) : [< lval ] -> [< exp ] -> [> instr ]