Functor Compute_functions.Make

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) ->
functor (Init : Initialization.S with type state := Domain.t) -> sig .. end
Parameters:
Value : Abstract_value.S
Loc : Abstract_location.External with type value = Value.t
Domain : Abstract_domain.External with type location = Loc.location and type value = Value.t
Eva : Evaluation.S with type value = Domain.value and type origin = Domain.origin and type loc = Domain.location and type state = Domain.t
Init : Initialization.S with type state := Domain.t

val compute_from_entry_point : Cil_types.kernel_function -> unit Eval.or_bottom