module Compute_functions:sig
..end
module Make:functor (
Value
:
Abstract_value.S
) ->
functor (
Loc
:
Abstract_location.External
with type value = Value.t
) ->
functor (
Domain
:
Abstract_domain.External
with type location = Loc.location and type value = Value.t
) ->
functor (
Eva
:
Evaluation.S
with type value = Domain.value and type origin = Domain.origin and type loc = Domain.location and type state = Domain.t
) ->
val run : (Cil_types.kernel_function -> unit Eval.or_bottom) ->
?library:bool -> Cil_types.kernel_function -> unit