Previous
Up
Next
Module
Res.Weak
module
Weak:
Weak_intf.T
with module Strategy = DefStrat
Resizable weak array using the default reallocation strategy.