module MakeWeak: functor (S : Strat.T) -> Weak_intf.T with module Strategy = S
functor (
S
:
Strat.T
) ->
Weak_intf.T
with module Strategy = S