module Non_linear_evaluation:sig
..end
module Make:functor (
Value
:
Abstract_value.External
) ->
functor (
Eva
:
Evaluation.S
with type value = Value.t
) ->
Evaluation.S
with type value = Value.t and type origin = Eva.origin and type loc = Eva.loc and type state = Eva.state