sig
val register_builtin : string -> Db.Value.builtin_sig -> unit
val find_builtin : string -> Db.Value.builtin_sig
val mem_builtin : string -> bool
val overridden_by_builtin : Kernel_function.t -> bool
val type_from_nb_elems :
loc:Cil_types.location -> Cil_types.typ -> Integer.t -> Cil_types.typ
val dump_state : Db.Value.builtin_sig
val dump_args : string -> Db.Value.builtin_sig
val dump_state_file : string -> Db.Value.builtin_sig
end