Res (p.res.4.0.7.doc.res.Res)

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).

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.

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

Functor that creates resizable parameterized arrays from reallocation strategies.

module MakeFloats
  (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
  (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 (S : Strat.T) : Weak_intf.T with module Strategy = S

Functor that creates resizable weak arrays from reallocation strategies.

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

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