Package fvect - Namespaces

• Data.FVect

  Fin-based vects encode not just their current size but also their largest size. See also Data.FVect.Capacity for a view that is useful when determining if you want to add to an FVect depending on whether or not it is full.
• Data.FVect.Capacity