Module Compute_functions

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

module Make: 
functor (Abstract : Abstractions.Eva-> sig .. end