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