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