Module `ModuleType.U`

type expr =

| Path of Odoc_model.Paths.Path.ModuleType.t
| Signature of Odoc_model.Lang.Signature.t
| With of Odoc_model.Lang.ModuleType.substitution list * Odoc_model.Lang.ModuleType.U.expr
| TypeOf of Odoc_model.Lang.ModuleType.type_of_desc * Odoc_model.Paths.Path.Module.t
| Strengthen of Odoc_model.Lang.ModuleType.U.expr * Odoc_model.Paths.Path.Module.t * bool