module Context: sig
.. end
type
compute_t = {
|
over_inputs : Locations.Zone.t ; |
|
under_outputs : Locations.Zone.t ; |
}
val empty : compute_t
val bottom : compute_t
val join : compute_t -> compute_t -> compute_t
val is_included : compute_t -> compute_t -> bool
val catenate : compute_t -> compute_t -> compute_t
val pretty : Format.formatter -> compute_t -> unit
val call_stack : Kernel_function.t Stack.t
module Computer: functor (
REACH
:
sig
end
) ->
sig
.. end
val get_using_prototype : Db_types.kernel_function -> Inout_type.tt
val compute_internal_using_prototype : Db_types.kernel_function -> Inout_type.tt
val compute_internal_using_cfg : Kernel_function.t -> Inout_type.tt
module Internals: Kf_state.Context
(
sig
end
)
val get_internal : Kernel_function.t -> Internals.data
val externalize : with_formals:bool ->
Db_types.kernel_function -> Locations.Zone.t -> Locations.Zone.t
val raw_get_external : with_formals:bool -> Kernel_function.t -> Inout_type.tt
module Externals: Kf_state.Context
(
sig
end
)
val get_external : Kernel_function.t -> Externals.data
val compute_external : Kernel_function.t -> unit
module Externals_With_Formals: Kf_state.Context
(
sig
end
)
val get_external_with_formals : Kernel_function.t -> Externals_With_Formals.data
val compute_external_with_formals : Kernel_function.t -> unit
val pretty_internal : Format.formatter -> Kernel_function.t -> unit
val pretty_external : Format.formatter -> Kernel_function.t -> unit
val pretty_external_with_formals : Format.formatter -> Kernel_function.t -> unit