\section{Module \ocamlinlinecode{Functor.\allowbreak{}F5}}\label{module-Functor-module-F5}%
\subsection{Parameters\label{parameters}}%
\subsection{Signature\label{signature}}%
\label{module-Functor-module-F5-type-t}\ocamlcodefragment{\ocamltag{keyword}{type} t}\\


