Type.register
Ast.get
Db.progress
remove
Error
not_yet_implemented
Db.Compute
fun_set_args
Cil.lenOfArray
None
current
Ast.UntypedFiles.get
entry_point
Abstract_interp.Lattice.cardinal_less_than
Db.Dominators.stmt_dominators