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 typeof_t