Module Value_results

module Value_results: sig .. end

module Terminating_calls: Cil_state_builder.Stmt_hashtbl(Datatype.Bool)(sig
val name : string
val size : int
val dependencies : State.t list
end)
val mark_call_terminating : Terminating_calls.key -> unit
val is_non_terminating_call : Terminating_calls.key -> bool