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