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