package cil

  1. Overview
  2. Docs
package cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
type exp
type unop = exp -> exp
type binop = exp -> exp -> exp
val mkTrue : unit -> exp
val mkFalse : unit -> exp
val mkAnd : binop
val mkOr : binop
val mkNot : unop
val mkIte : exp -> exp -> exp -> exp
val mkImp : binop
val mkEq : binop
val mkNe : binop
val mkLt : binop
val mkLe : binop
val mkGt : binop
val mkGe : binop
val mkPlus : binop
val mkTimes : binop
val mkMinus : binop
val mkDiv : binop
val mkMod : binop
val mkLShift : binop
val mkRShift : binop
val mkBAnd : binop
val mkBXor : binop
val mkBOr : binop
val mkNeg : unop
val mkCompl : unop
val mkVar : string -> exp
val mkConst : int -> exp
val isValid : exp -> bool