jon.recoil.org

Module Path.TypeSource

type ('lmod, 'lmodty, 'pty, 'lty) gen = [
  1. | `Resolved of ('lmod, 'lmodty, 'pty, 'lty) Odoc_model.Paths.Path.Resolved.Type.t
  2. | `LocalTy of 'lty
  3. | `SubstitutedT of ('lmod, 'lmodty, 'pty, 'lty) Odoc_model.Paths.Path.Type.gen
  4. | `SubstitutedCT of ('lmod, 'lmodty, 'pty, 'lty) Odoc_model.Paths.Path.ClassType.gen
  5. | `Identifier of Odoc_model.Paths.Identifier.Path.Type.t * bool
  6. | `DotT of ('lmod, 'lmodty, 'pty) Odoc_model.Paths.Path.Module.gen * Odoc_model.Names.TypeName.t
  7. | `Type of 'pty * [ `Module of ('lmod, 'lmodty, 'pty) Odoc_model.Paths.Path.Resolved.Module.t | `ModuleType of ('lmod, 'lmodty, 'pty) Odoc_model.Paths.Path.Resolved.ModuleType.t * 'pty | `FragmentRoot of 'pty ] * Odoc_model.Names.TypeName.t
]