# Module Res

    module Res: sig .. end

Global module for resizable datastructures and default implementations

###### Default strategies

    module DefStrat: Strat.T  with type t = float * float * int

Default strategy for resizable datastructures

    module BitDefStrat: Strat.T  with type t = float * float * int

Same as `DefStrat`, but the minimum size is 1024 elements (bits).

###### Default instantiation of standard resizable datastructures

    module Array: Pres_intf.T  with module Strategy = DefStrat

Resizable parameterized array using the default reallocation strategy.

    module Floats: Nopres_intf.T  with module Strategy = DefStrat and type el = float

Resizable float array using the default reallocation strategy.

    module Bits: Nopres_intf.T  with module Strategy = BitDefStrat and type el = bool

Resizable bit vector using the default reallocation strategy.

    module Weak: Weak_intf.T  with module Strategy = DefStrat

Resizable weak array using the default reallocation strategy.

    module Buffer: Nopres_intf.Buffer  with module Strategy = DefStrat and type el = char

Resizable buffer using the default reallocation strategy.

###### Functors for creating standard resizable datastructures from strategies

    module MakeArray: functor (S : Strat.T) -> Pres_intf.T  with module Strategy = S

Functor that creates resizable parameterized arrays from reallocation strategies.

    module MakeFloats: functor (S : Strat.T) -> Nopres_intf.T  with module Strategy = S and type el = float

Functor that creates resizable float arrays from reallocation strategies.

    module MakeBits: functor (S : Strat.T) -> Nopres_intf.T  with module Strategy = S and type el = bool

Functor that creates resizable bit vectors from reallocation strategies.

    module MakeWeak: functor (S : Strat.T) -> Weak_intf.T  with module Strategy = S

Functor that creates resizable weak arrays from reallocation strategies.

    module MakeBuffer: functor (S : Strat.T) -> Nopres_intf.Buffer  with module Strategy = S and type el = char

Functor that creates resizable buffers (=string arrays) from reallocation strategies.