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


