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


