Up
Index of module types
B
Buffer
[
Nopres_intf
]
Extended interface to buffers (resizable strings)
I
Implementation
[
Pres_impl
]
Implementation
[
Nopres_impl
]
T
T
[
Weak_intf
]
T
[
Strat
]
T
[
Pres_intf
]
T
[
Nopres_intf
]
Interface to unparameterized resizable arrays