\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Module {\tt  {Strat}} : Interface to strategies}{1}}
\newlabel{module:Strat}{{1}{1}}
\newlabel{moduletype:Strat.T}{{1}{1}}
\newlabel{type:Strat.T.t}{{1}{1}}
\newlabel{val:Strat.T.default}{{1}{1}}
\newlabel{val:Strat.T.grow}{{1}{1}}
\newlabel{val:Strat.T.shrink}{{1}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Module {\tt  {Pres\_intf}} : Interface to parameterized resizable arrays}{2}}
\newlabel{module:Pres-underscoreintf}{{2}{2}}
\newlabel{moduletype:Pres-underscoreintf.T}{{2}{2}}
\newlabel{module:Pres-underscoreintf.T.Strategy}{{2}{2}}
\newlabel{type:Pres-underscoreintf.T.strategy}{{2}{2}}
\newlabel{type:Pres-underscoreintf.T.t}{{2}{2}}
\newlabel{val:Pres-underscoreintf.T.length}{{2}{2}}
\newlabel{val:Pres-underscoreintf.T.lix}{{2}{2}}
\newlabel{val:Pres-underscoreintf.T.real-underscorelength}{{2}{2}}
\newlabel{val:Pres-underscoreintf.T.real-underscorelix}{{2}{2}}
\newlabel{val:Pres-underscoreintf.T.get}{{2}{2}}
\newlabel{val:Pres-underscoreintf.T.set}{{2}{2}}
\newlabel{val:Pres-underscoreintf.T.sempty}{{2}{3}}
\newlabel{val:Pres-underscoreintf.T.empty}{{2}{3}}
\newlabel{val:Pres-underscoreintf.T.screate}{{2}{3}}
\newlabel{val:Pres-underscoreintf.T.create}{{2}{3}}
\newlabel{val:Pres-underscoreintf.T.smake}{{2}{3}}
\newlabel{val:Pres-underscoreintf.T.make}{{2}{3}}
\newlabel{val:Pres-underscoreintf.T.sinit}{{2}{3}}
\newlabel{val:Pres-underscoreintf.T.init}{{2}{3}}
\newlabel{val:Pres-underscoreintf.T.get-underscorestrategy}{{2}{3}}
\newlabel{val:Pres-underscoreintf.T.set-underscorestrategy}{{2}{3}}
\newlabel{val:Pres-underscoreintf.T.put-underscorestrategy}{{2}{4}}
\newlabel{val:Pres-underscoreintf.T.enforce-underscorestrategy}{{2}{4}}
\newlabel{val:Pres-underscoreintf.T.make-underscorematrix}{{2}{4}}
\newlabel{val:Pres-underscoreintf.T.copy}{{2}{4}}
\newlabel{val:Pres-underscoreintf.T.sub}{{2}{4}}
\newlabel{val:Pres-underscoreintf.T.fill}{{2}{4}}
\newlabel{val:Pres-underscoreintf.T.blit}{{2}{4}}
\newlabel{val:Pres-underscoreintf.T.append}{{2}{4}}
\newlabel{val:Pres-underscoreintf.T.concat}{{2}{4}}
\newlabel{val:Pres-underscoreintf.T.add-underscoreone}{{2}{5}}
\newlabel{val:Pres-underscoreintf.T.remove-underscoreone}{{2}{5}}
\newlabel{val:Pres-underscoreintf.T.remove-underscoren}{{2}{5}}
\newlabel{val:Pres-underscoreintf.T.remove-underscorerange}{{2}{5}}
\newlabel{val:Pres-underscoreintf.T.clear}{{2}{5}}
\newlabel{val:Pres-underscoreintf.T.swap}{{2}{5}}
\newlabel{val:Pres-underscoreintf.T.swap-underscorein-underscorelast}{{2}{5}}
\newlabel{val:Pres-underscoreintf.T.to-underscorearray}{{2}{5}}
\newlabel{val:Pres-underscoreintf.T.sof-underscorearray}{{2}{5}}
\newlabel{val:Pres-underscoreintf.T.of-underscorearray}{{2}{6}}
\newlabel{val:Pres-underscoreintf.T.to-underscorelist}{{2}{6}}
\newlabel{val:Pres-underscoreintf.T.sof-underscorelist}{{2}{6}}
\newlabel{val:Pres-underscoreintf.T.of-underscorelist}{{2}{6}}
\newlabel{val:Pres-underscoreintf.T.iter}{{2}{6}}
\newlabel{val:Pres-underscoreintf.T.map}{{2}{6}}
\newlabel{val:Pres-underscoreintf.T.iteri}{{2}{6}}
\newlabel{val:Pres-underscoreintf.T.mapi}{{2}{6}}
\newlabel{val:Pres-underscoreintf.T.fold-underscoreleft}{{2}{6}}
\newlabel{val:Pres-underscoreintf.T.fold-underscoreright}{{2}{6}}
\newlabel{val:Pres-underscoreintf.T.for-underscoreall}{{2}{7}}
\newlabel{val:Pres-underscoreintf.T.exists}{{2}{7}}
\newlabel{val:Pres-underscoreintf.T.mem}{{2}{7}}
\newlabel{val:Pres-underscoreintf.T.memq}{{2}{7}}
\newlabel{val:Pres-underscoreintf.T.pos}{{2}{7}}
\newlabel{val:Pres-underscoreintf.T.posq}{{2}{7}}
\newlabel{val:Pres-underscoreintf.T.find}{{2}{7}}
\newlabel{val:Pres-underscoreintf.T.find-underscoreindex}{{2}{7}}
\newlabel{val:Pres-underscoreintf.T.filter}{{2}{8}}
\newlabel{val:Pres-underscoreintf.T.find-underscoreall}{{2}{8}}
\newlabel{val:Pres-underscoreintf.T.filter-underscorein-underscoreplace}{{2}{8}}
\newlabel{val:Pres-underscoreintf.T.partition}{{2}{8}}
\newlabel{val:Pres-underscoreintf.T.unsafe-underscoreget}{{2}{8}}
\newlabel{val:Pres-underscoreintf.T.unsafe-underscoreset}{{2}{8}}
\newlabel{val:Pres-underscoreintf.T.unsafe-underscoresub}{{2}{8}}
\newlabel{val:Pres-underscoreintf.T.unsafe-underscorefill}{{2}{8}}
\newlabel{val:Pres-underscoreintf.T.unsafe-underscoreblit}{{2}{8}}
\newlabel{val:Pres-underscoreintf.T.unsafe-underscoreremove-underscoreone}{{2}{8}}
\newlabel{val:Pres-underscoreintf.T.unsafe-underscoreremove-underscoren}{{2}{8}}
\newlabel{val:Pres-underscoreintf.T.unsafe-underscoreswap}{{2}{8}}
\newlabel{val:Pres-underscoreintf.T.unsafe-underscoreswap-underscorein-underscorelast}{{2}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Module {\tt  {Nopres\_intf}} : Interfaces to unparameterized resizable arrays and buffers}{8}}
\newlabel{module:Nopres-underscoreintf}{{3}{8}}
\newlabel{moduletype:Nopres-underscoreintf.T}{{3}{8}}
\newlabel{module:Nopres-underscoreintf.T.Strategy}{{3}{9}}
\newlabel{type:Nopres-underscoreintf.T.strategy}{{3}{9}}
\newlabel{type:Nopres-underscoreintf.T.t}{{3}{9}}
\newlabel{type:Nopres-underscoreintf.T.el}{{3}{9}}
\newlabel{val:Nopres-underscoreintf.T.length}{{3}{9}}
\newlabel{val:Nopres-underscoreintf.T.lix}{{3}{9}}
\newlabel{val:Nopres-underscoreintf.T.real-underscorelength}{{3}{9}}
\newlabel{val:Nopres-underscoreintf.T.real-underscorelix}{{3}{9}}
\newlabel{val:Nopres-underscoreintf.T.get}{{3}{9}}
\newlabel{val:Nopres-underscoreintf.T.set}{{3}{9}}
\newlabel{val:Nopres-underscoreintf.T.sempty}{{3}{10}}
\newlabel{val:Nopres-underscoreintf.T.empty}{{3}{10}}
\newlabel{val:Nopres-underscoreintf.T.screate}{{3}{10}}
\newlabel{val:Nopres-underscoreintf.T.create}{{3}{10}}
\newlabel{val:Nopres-underscoreintf.T.smake}{{3}{10}}
\newlabel{val:Nopres-underscoreintf.T.make}{{3}{10}}
\newlabel{val:Nopres-underscoreintf.T.sinit}{{3}{10}}
\newlabel{val:Nopres-underscoreintf.T.init}{{3}{10}}
\newlabel{val:Nopres-underscoreintf.T.get-underscorestrategy}{{3}{10}}
\newlabel{val:Nopres-underscoreintf.T.set-underscorestrategy}{{3}{10}}
\newlabel{val:Nopres-underscoreintf.T.put-underscorestrategy}{{3}{11}}
\newlabel{val:Nopres-underscoreintf.T.enforce-underscorestrategy}{{3}{11}}
\newlabel{val:Nopres-underscoreintf.T.copy}{{3}{11}}
\newlabel{val:Nopres-underscoreintf.T.sub}{{3}{11}}
\newlabel{val:Nopres-underscoreintf.T.fill}{{3}{11}}
\newlabel{val:Nopres-underscoreintf.T.blit}{{3}{11}}
\newlabel{val:Nopres-underscoreintf.T.append}{{3}{11}}
\newlabel{val:Nopres-underscoreintf.T.concat}{{3}{11}}
\newlabel{val:Nopres-underscoreintf.T.add-underscoreone}{{3}{11}}
\newlabel{val:Nopres-underscoreintf.T.remove-underscoreone}{{3}{12}}
\newlabel{val:Nopres-underscoreintf.T.remove-underscoren}{{3}{12}}
\newlabel{val:Nopres-underscoreintf.T.remove-underscorerange}{{3}{12}}
\newlabel{val:Nopres-underscoreintf.T.clear}{{3}{12}}
\newlabel{val:Nopres-underscoreintf.T.swap}{{3}{12}}
\newlabel{val:Nopres-underscoreintf.T.swap-underscorein-underscorelast}{{3}{12}}
\newlabel{val:Nopres-underscoreintf.T.to-underscorearray}{{3}{12}}
\newlabel{val:Nopres-underscoreintf.T.sof-underscorearray}{{3}{12}}
\newlabel{val:Nopres-underscoreintf.T.of-underscorearray}{{3}{12}}
\newlabel{val:Nopres-underscoreintf.T.to-underscorelist}{{3}{12}}
\newlabel{val:Nopres-underscoreintf.T.sof-underscorelist}{{3}{13}}
\newlabel{val:Nopres-underscoreintf.T.of-underscorelist}{{3}{13}}
\newlabel{val:Nopres-underscoreintf.T.iter}{{3}{13}}
\newlabel{val:Nopres-underscoreintf.T.map}{{3}{13}}
\newlabel{val:Nopres-underscoreintf.T.iteri}{{3}{13}}
\newlabel{val:Nopres-underscoreintf.T.mapi}{{3}{13}}
\newlabel{val:Nopres-underscoreintf.T.fold-underscoreleft}{{3}{13}}
\newlabel{val:Nopres-underscoreintf.T.fold-underscoreright}{{3}{13}}
\newlabel{val:Nopres-underscoreintf.T.for-underscoreall}{{3}{13}}
\newlabel{val:Nopres-underscoreintf.T.exists}{{3}{13}}
\newlabel{val:Nopres-underscoreintf.T.mem}{{3}{14}}
\newlabel{val:Nopres-underscoreintf.T.memq}{{3}{14}}
\newlabel{val:Nopres-underscoreintf.T.pos}{{3}{14}}
\newlabel{val:Nopres-underscoreintf.T.posq}{{3}{14}}
\newlabel{val:Nopres-underscoreintf.T.find}{{3}{14}}
\newlabel{val:Nopres-underscoreintf.T.find-underscoreindex}{{3}{14}}
\newlabel{val:Nopres-underscoreintf.T.filter}{{3}{14}}
\newlabel{val:Nopres-underscoreintf.T.find-underscoreall}{{3}{15}}
\newlabel{val:Nopres-underscoreintf.T.filter-underscorein-underscoreplace}{{3}{15}}
\newlabel{val:Nopres-underscoreintf.T.partition}{{3}{15}}
\newlabel{val:Nopres-underscoreintf.T.unsafe-underscoreget}{{3}{15}}
\newlabel{val:Nopres-underscoreintf.T.unsafe-underscoreset}{{3}{15}}
\newlabel{val:Nopres-underscoreintf.T.unsafe-underscoresub}{{3}{15}}
\newlabel{val:Nopres-underscoreintf.T.unsafe-underscorefill}{{3}{15}}
\newlabel{val:Nopres-underscoreintf.T.unsafe-underscoreblit}{{3}{15}}
\newlabel{val:Nopres-underscoreintf.T.unsafe-underscoreremove-underscoreone}{{3}{15}}
\newlabel{val:Nopres-underscoreintf.T.unsafe-underscoreremove-underscoren}{{3}{15}}
\newlabel{val:Nopres-underscoreintf.T.unsafe-underscoreswap}{{3}{15}}
\newlabel{val:Nopres-underscoreintf.T.unsafe-underscoreswap-underscorein-underscorelast}{{3}{15}}
\newlabel{moduletype:Nopres-underscoreintf.Buffer}{{3}{15}}
\newlabel{val:Nopres-underscoreintf.Buffer.sof-underscorestring}{{3}{15}}
\newlabel{val:Nopres-underscoreintf.Buffer.of-underscorestring}{{3}{15}}
\newlabel{val:Nopres-underscoreintf.Buffer.contents}{{3}{15}}
\newlabel{val:Nopres-underscoreintf.Buffer.reset}{{3}{16}}
\newlabel{val:Nopres-underscoreintf.Buffer.add-underscorechar}{{3}{16}}
\newlabel{val:Nopres-underscoreintf.Buffer.add-underscorestring}{{3}{16}}
\newlabel{val:Nopres-underscoreintf.Buffer.add-underscoresubstring}{{3}{16}}
\newlabel{val:Nopres-underscoreintf.Buffer.add-underscorebuffer}{{3}{16}}
\newlabel{val:Nopres-underscoreintf.Buffer.add-underscorechannel}{{3}{16}}
\newlabel{val:Nopres-underscoreintf.Buffer.output-underscorebuffer}{{3}{16}}
\newlabel{val:Nopres-underscoreintf.Buffer.add-underscorefull-underscorechannel}{{3}{16}}
\newlabel{val:Nopres-underscoreintf.Buffer.add-underscorefull-underscorechannel-underscoref}{{3}{16}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Module {\tt  {Weak\_intf}} : Interface to weak resizable arrays}{17}}
\newlabel{module:Weak-underscoreintf}{{4}{17}}
\newlabel{moduletype:Weak-underscoreintf.T}{{4}{17}}
\newlabel{module:Weak-underscoreintf.T.Strategy}{{4}{17}}
\newlabel{type:Weak-underscoreintf.T.strategy}{{4}{17}}
\newlabel{type:Weak-underscoreintf.T.t}{{4}{17}}
\newlabel{val:Weak-underscoreintf.T.length}{{4}{17}}
\newlabel{val:Weak-underscoreintf.T.lix}{{4}{17}}
\newlabel{val:Weak-underscoreintf.T.real-underscorelength}{{4}{17}}
\newlabel{val:Weak-underscoreintf.T.real-underscorelix}{{4}{17}}
\newlabel{val:Weak-underscoreintf.T.get}{{4}{17}}
\newlabel{val:Weak-underscoreintf.T.get-underscorecopy}{{4}{17}}
\newlabel{val:Weak-underscoreintf.T.check}{{4}{18}}
\newlabel{val:Weak-underscoreintf.T.set}{{4}{18}}
\newlabel{val:Weak-underscoreintf.T.sempty}{{4}{18}}
\newlabel{val:Weak-underscoreintf.T.empty}{{4}{18}}
\newlabel{val:Weak-underscoreintf.T.screate}{{4}{18}}
\newlabel{val:Weak-underscoreintf.T.create}{{4}{18}}
\newlabel{val:Weak-underscoreintf.T.sinit}{{4}{18}}
\newlabel{val:Weak-underscoreintf.T.init}{{4}{18}}
\newlabel{val:Weak-underscoreintf.T.get-underscorestrategy}{{4}{18}}
\newlabel{val:Weak-underscoreintf.T.set-underscorestrategy}{{4}{18}}
\newlabel{val:Weak-underscoreintf.T.put-underscorestrategy}{{4}{19}}
\newlabel{val:Weak-underscoreintf.T.enforce-underscorestrategy}{{4}{19}}
\newlabel{val:Weak-underscoreintf.T.copy}{{4}{19}}
\newlabel{val:Weak-underscoreintf.T.sub}{{4}{19}}
\newlabel{val:Weak-underscoreintf.T.fill}{{4}{19}}
\newlabel{val:Weak-underscoreintf.T.blit}{{4}{19}}
\newlabel{val:Weak-underscoreintf.T.append}{{4}{19}}
\newlabel{val:Weak-underscoreintf.T.concat}{{4}{19}}
\newlabel{val:Weak-underscoreintf.T.add-underscoreone}{{4}{20}}
\newlabel{val:Weak-underscoreintf.T.remove-underscoreone}{{4}{20}}
\newlabel{val:Weak-underscoreintf.T.remove-underscoren}{{4}{20}}
\newlabel{val:Weak-underscoreintf.T.remove-underscorerange}{{4}{20}}
\newlabel{val:Weak-underscoreintf.T.clear}{{4}{20}}
\newlabel{val:Weak-underscoreintf.T.swap}{{4}{20}}
\newlabel{val:Weak-underscoreintf.T.swap-underscorein-underscorelast}{{4}{20}}
\newlabel{val:Weak-underscoreintf.T.to-underscorestd}{{4}{20}}
\newlabel{val:Weak-underscoreintf.T.sof-underscorestd}{{4}{20}}
\newlabel{val:Weak-underscoreintf.T.of-underscorestd}{{4}{20}}
\newlabel{val:Weak-underscoreintf.T.to-underscorelist}{{4}{21}}
\newlabel{val:Weak-underscoreintf.T.of-underscorelist}{{4}{21}}
\newlabel{val:Weak-underscoreintf.T.iter}{{4}{21}}
\newlabel{val:Weak-underscoreintf.T.iteri}{{4}{21}}
\newlabel{val:Weak-underscoreintf.T.fold-underscoreleft}{{4}{21}}
\newlabel{val:Weak-underscoreintf.T.fold-underscoreright}{{4}{21}}
\newlabel{val:Weak-underscoreintf.T.for-underscoreall}{{4}{21}}
\newlabel{val:Weak-underscoreintf.T.exists}{{4}{21}}
\newlabel{val:Weak-underscoreintf.T.mem}{{4}{21}}
\newlabel{val:Weak-underscoreintf.T.memq}{{4}{21}}
\newlabel{val:Weak-underscoreintf.T.pos}{{4}{22}}
\newlabel{val:Weak-underscoreintf.T.posq}{{4}{22}}
\newlabel{val:Weak-underscoreintf.T.find}{{4}{22}}
\newlabel{val:Weak-underscoreintf.T.find-underscoreindex}{{4}{22}}
\newlabel{val:Weak-underscoreintf.T.filter}{{4}{22}}
\newlabel{val:Weak-underscoreintf.T.find-underscoreall}{{4}{22}}
\newlabel{val:Weak-underscoreintf.T.filter-underscorein-underscoreplace}{{4}{22}}
\newlabel{val:Weak-underscoreintf.T.partition}{{4}{22}}
\newlabel{val:Weak-underscoreintf.T.unsafe-underscoreget}{{4}{23}}
\newlabel{val:Weak-underscoreintf.T.unsafe-underscoreset}{{4}{23}}
\newlabel{val:Weak-underscoreintf.T.unsafe-underscoresub}{{4}{23}}
\newlabel{val:Weak-underscoreintf.T.unsafe-underscorefill}{{4}{23}}
\newlabel{val:Weak-underscoreintf.T.unsafe-underscoreblit}{{4}{23}}
\newlabel{val:Weak-underscoreintf.T.unsafe-underscoreremove-underscoreone}{{4}{23}}
\newlabel{val:Weak-underscoreintf.T.unsafe-underscoreremove-underscoren}{{4}{23}}
\newlabel{val:Weak-underscoreintf.T.unsafe-underscoreswap}{{4}{23}}
\newlabel{val:Weak-underscoreintf.T.unsafe-underscoreswap-underscorein-underscorelast}{{4}{23}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Module {\tt  {Res}} : Global module for resizable datastructures and default implementations}{23}}
\newlabel{module:Res}{{5}{23}}
\newlabel{module:Res.DefStrat}{{5}{23}}
\newlabel{module:Res.BitDefStrat}{{5}{23}}
\newlabel{module:Res.Array}{{5}{23}}
\newlabel{module:Res.Floats}{{5}{23}}
\newlabel{module:Res.Bits}{{5}{24}}
\newlabel{module:Res.Weak}{{5}{24}}
\newlabel{module:Res.Buffer}{{5}{24}}
\newlabel{module:Res.MakeArray}{{5}{24}}
\newlabel{module:Res.MakeFloats}{{5}{24}}
\newlabel{module:Res.MakeBits}{{5}{24}}
\newlabel{module:Res.MakeWeak}{{5}{24}}
\newlabel{module:Res.MakeBuffer}{{5}{24}}