\section{Module \ocamlinlinecode{Functor.\allowbreak{}F4}}\label{Functor-F4}%
\subsection{Parameters\label{Functor-F4--parameters}}%
\label{Functor-F4--argument-1-Arg}\ocamlcodefragment{\ocamltag{keyword}{module} \hyperref[Functor-F4-argument-1-Arg]{\ocamlinlinecode{Arg}}}\label{Functor-F4-argument-1-Arg}\ocamlcodefragment{ : \ocamltag{keyword}{sig}}\begin{ocamlindent}\label{Functor-F4-argument-1-Arg--type-t}\ocamlcodefragment{\ocamltag{keyword}{type} t}\\
\end{ocamlindent}%
\ocamlcodefragment{\ocamltag{keyword}{end}}\\
\subsection{Signature\label{Functor-F4--signature}}%
\label{Functor-F4--type-t}\ocamlcodefragment{\ocamltag{keyword}{type} t}\\


