Module ModuleType.U

type expr =
  1. | Path of Paths.Path.ModuleType.t
  2. | Signature of Signature.t
  3. | With of substitution list * expr
  4. | TypeOf of type_of_desc * Paths.Path.Module.t