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