Type.register
Ast.get
Db.progress
remove
Error
not_yet_implemented
Db.Compute
fun_set_args
Cil.lenOfArray
None
current
entry_point
find_xxx
cardinal_less_than
update_ival
stmt_postdominators
Db.Postdominators.stmt_postdominators