Module Compute_functions

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) -> 
functor (Init : Initialization.S  with type state := Domain.t) -> sig .. end

val run : (Cil_types.kernel_function -> unit Eval.or_bottom) ->
       ?library:bool -> Cil_types.kernel_function -> unit