Module Compute_functions

module Compute_functions: sig .. end
Value analysis of entire functions, using Eva engine.

module Make: 
functor (Abstract : Abstractions.S) ->
functor (Eva : Evaluation.S with type value = Abstract.Val.t and type origin = Abstract.Dom.origin and type loc = Abstract.Loc.location and type state = Abstract.Dom.t) -> sig .. end