Module `ModuleType.U`

type expr =

| Path of Odoc_xref2.Cpath.module_type
| Signature of Odoc_xref2.Component.Signature.t
| With of Odoc_xref2.Component.ModuleType.substitution list * Odoc_xref2.Component.ModuleType.U.expr
| TypeOf of Odoc_xref2.Component.ModuleType.type_of_desc * Odoc_xref2.Cpath.module_
| Strengthen of Odoc_xref2.Component.ModuleType.U.expr * Odoc_xref2.Cpath.module_ * bool