Functor Res.MakeWeak


module MakeWeak: 
functor (S : Strat.T) -> Weak_intf.T with module Strategy = S
Functor that creates resizable weak arrays from reallocation strategies.
Parameters:
S : Strat.T