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