Up
–
Package index
»
calli
» Library
calli
»
Calli
» Global
Module
Calli.Global
calli
README
Library
calli
Calli
AbstractMemory
AbstractValue
Basicblock
Bbpool
CallGraph
CallSiteContext
Cfg
Cond
Context
Dot
Env
Expr
Function
Global
Icfg
Inst
LlvmAnalyzer
Metadata
Module
Op
Pp
States
Stmt
Term
To_dot
TransferFunction
Transform
Transform2
Transform3
Transform_meta
Transform_select
Type
Util
Val
Worklist
Sources
type
t
=
{
name : string;
ty :
Type.t
;
value :
Expr.t
;
}