Module Res.Weak


module Weak: Weak_intf.T  with module Strategy = DefStrat
Resizable weak array using the default reallocation strategy.