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