Global module for resizable datastructures and default implementations
module DefStrat : Res__.Strat.T with type t = float * float * int
Default strategy for resizable datastructures
module BitDefStrat : Res__.Strat.T with type t = float * float * int
Same as DefStrat
, but the minimum size is 1024 elements (bits).
module Array : Res__.Pres_intf.T with module Strategy = DefStrat
Resizable parameterized array using the default reallocation strategy.
module Floats : Res__.Nopres_intf.T with module Strategy = DefStrat and type el = float
Resizable float array using the default reallocation strategy.
module Bits : Res__.Nopres_intf.T with module Strategy = BitDefStrat and type el = bool
Resizable bit vector using the default reallocation strategy.
module Weak : Res__.Weak_intf.T with module Strategy = DefStrat
Resizable weak array using the default reallocation strategy.
module Buffer : Res__.Nopres_intf.Buffer with module Strategy = DefStrat and type el = char
Resizable buffer using the default reallocation strategy.
module MakeArray : functor (S : Res__.Strat.T) -> Res__.Pres_intf.T with module Strategy = S
Functor that creates resizable parameterized arrays from reallocation strategies.
module MakeFloats : functor (S : Res__.Strat.T) -> Res__.Nopres_intf.T with module Strategy = S and type el = float
Functor that creates resizable float arrays from reallocation strategies.
module MakeBits : functor (S : Res__.Strat.T) -> Res__.Nopres_intf.T with module Strategy = S and type el = bool
Functor that creates resizable bit vectors from reallocation strategies.
module MakeWeak : functor (S : Res__.Strat.T) -> Res__.Weak_intf.T with module Strategy = S
Functor that creates resizable weak arrays from reallocation strategies.
module MakeBuffer : functor (S : Res__.Strat.T) -> Res__.Nopres_intf.Buffer with module Strategy = S and type el = char
Functor that creates resizable buffers (=string arrays) from reallocation strategies.