module Value_util: sig
.. end
val get_rounding_mode : unit -> Ival.Float_abstract.rounding_mode
type
called_function = {
}
val call_stack : unit -> called_function list
val call_stack_for_callbacks : (Db_types.kernel_function * Cil_types.kinstr) list Pervasives.ref
val do_degenerate : Cil_types.lval option -> unit
val warn_all_quiet_mode : unit -> CilE.warn_mode
val pretty_call_stack : Format.formatter -> called_function list -> unit
val clear_call_stack : unit -> unit
val pop_call_stack : unit -> unit
val push_call_stack : called_function -> unit
val current_kf : unit -> Db_types.kernel_function
val call_stack : unit -> called_function list
val for_callbacks_stack : unit -> (Db_types.kernel_function * Cil_types.kinstr) list