module type Deriv_sig = functor (Spec : Gpr_interfaces.Specs.Deriv) -> Sigs.Deriv with module Eval.Spec = Spec.Eval with module Deriv.Spec = Spec
functor (
Spec
:
Gpr_interfaces.Specs.Deriv
) ->
Sigs.Deriv
with module Eval.Spec = Spec.Eval
with module Deriv.Spec = Spec