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