module Builtins:sig
..end
E-ACSL built-in database.
val mem : string -> bool
val find : string -> Cil_types.varinfo
Get the varinfo corresponding to the given E-ACSL built-in name.
Not_found
if it is not a built-inval update : string -> Cil_types.varinfo -> unit
If the given name is an E-ACSL built-in, change its old varinfo by the given new one.