\section{Module \ocamlinlinecode{T.\allowbreak{}N}}\label{Module_type_of-T-N}%
\label{Module_type_of-T-N--type-t}\ocamlcodefragment{\ocamltag{keyword}{type} t = \hyperref[Module_type_of-X--type-t]{\ocamlinlinecode{M.\allowbreak{}t}}}\\


