jon.recoil.org

Module Path.ResolvedSource

Sourcemodule Module : sig ... end
Sourcemodule ModuleType : sig ... end
Sourcemodule Type : sig ... end
Sourcemodule Value : sig ... end
Sourcemodule ClassType : sig ... end
Sourcetype ('lmod, 'lmodty, 'pty, 'lty, 'lval) gen = ('lmod, 'lmodty, 'pty, 'lty, 'lval) Odoc_model.Paths.Path.Resolved.t
Sourcetype ('lmod, 'lmodty, 'pty) parent_gen = [
  1. | `Module of ('lmod, 'lmodty, 'pty) Odoc_model.Paths.Path.Resolved.Module.t
  2. | `ModuleType of ('lmod, 'lmodty, 'pty) Odoc_model.Paths.Path.Resolved.ModuleType.t * 'pty
  3. | `FragmentRoot of 'pty
]

If the path points to a core type, no identifier can be generated