Module Builtins

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.

val 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.