sig
exception Invalid_nb_of_args of int
val register_builtin : string -> Db.Value.builtin_sig -> unit
val registered_builtins : unit -> (string * Db.Value.builtin_sig) list
val find_builtin : string -> Db.Value.builtin_sig
val mem_builtin : string -> bool
val overridden_by_builtin : Kernel_function.t -> bool
val clobbered_set_from_ret :
Cvalue.Model.t -> Cvalue.V.t -> Base.SetLattice.t
val dump_state : Db.Value.builtin_sig
val dump_args : string -> Db.Value.builtin_sig
val dump_state_file : string -> Db.Value.builtin_sig
val emit_alarm : kind:string -> text:string -> unit
end