module Weak_impl: sig .. end
sig
end
module Make: functor (S : Strat.T) -> sig .. end
functor (
S
:
Strat.T
) ->