Module Compute_functions

module Compute_functions: sig .. end

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